formatted server.cpp