minor modification on server.cc