reverting changes in server_main.cpp