Fixes bug in serverhandler.cc