import signal import sys from http_server import GazeboSimHttpServer server = GazeboSimHttpServer() def signal_handler(sig, frame): server.shutdown() sys.exit(0) signal.signal(signal.SIGINT, signal_handler) if __name__ == '__main__': server.start(hostname='0.0.0.0', port=12300)