fix a bug that stopped servers from starting
fix a bug that stopped servers from starting

mixminion/mixminion,reezer/mixminion,rxcomm/mixminion,Javex/mixminion,rxcomm/mixminion,nmathewson/mixminion,mixminion/mixminion,reezer/mixminion,Javex/mixminion,rxcomm/mixminion,crooks/mixminion,nmathewson/mixminion,crooks/mixminion,crooks/mixminion,nmathewson/mixminion,Javex/mixminion,Javex/mixminion,reezer/mixminion,reezer/mixminion,mixminion/mixminion,rxcomm/mixminion,crooks/mixminion,mixminion/mixminion,nmathewson/mixminion