def stop_server():
global Http_server
print >> sys.stderr, "\nStopping server"
gtermhost.gterm_shutdown(Trace_shell)
if Http_server:
Http_server.stop()
Http_server = None
def stop_server_aux():
IO_loop.stop()
# Need to stop IO_loop only after all other scheduled shutdowns have completed
IO_loop.add_callback(stop_server_aux)
def host_shutdown():
print >> sys.stderr, "Shutting down"
gtermhost.gterm_shutdown(Trace_shell)