server_stop.cc