gazebo_world_manager/main.py

15 lines
295 B
Python
Executable File

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)