Add function server_exit() for each specific supported server.