serverspy/src/serverspy.cxx
//------------------------------------------------------------------------------
// This function is called by administrator using administrator socket 
// channel to restart server.
//------------------------------------------------------------------------------
This function is called by administrator using administrator socket
channel to restart server.
This function is called by administrator using administrator socket channel to restart server .
void AdminReboot(int admin) {
    char* message1 = "Rebooting server.\n";
    sendSafe(admin,message1,strlen(message1));
    RestartModelServer();
}
void AdminReboot ( int admin ) { char * message1 = " \n " ; sendSafe ( admin , message1 , strlen ( message1 ) ) ; RestartModelServer ( ) ; }
This function is called by administrator using administrator socket
channel to restart server.
This function is called by administrator using administrator socket channel to restart server .