gazebo_world_manager/main.py

16 lines
315 B
Python
Executable File

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