2016-10-19 13:28:06 +02:00
|
|
|
import http.server
|
|
|
|
import socketserver
|
2019-01-31 12:14:52 +01:00
|
|
|
import subprocess
|
|
|
|
import atexit
|
2016-10-19 13:28:06 +02:00
|
|
|
|
2019-01-31 12:14:52 +01:00
|
|
|
haxe_server = None
|
|
|
|
|
|
|
|
def run_tcp():
|
2016-10-19 13:28:06 +02:00
|
|
|
Handler = http.server.SimpleHTTPRequestHandler
|
|
|
|
try:
|
|
|
|
httpd = socketserver.TCPServer(("", 8040), Handler)
|
|
|
|
httpd.serve_forever()
|
|
|
|
except:
|
|
|
|
print('Server already running')
|
2019-01-31 12:14:52 +01:00
|
|
|
|
|
|
|
def run_haxe(haxe_path, port=6000):
|
|
|
|
global haxe_server
|
|
|
|
if haxe_server == None:
|
|
|
|
haxe_server = subprocess.Popen([haxe_path, '--wait', str(port)])
|
|
|
|
atexit.register(kill_haxe)
|
|
|
|
|
|
|
|
def kill_haxe():
|
|
|
|
global haxe_server
|
|
|
|
if haxe_server != None:
|
|
|
|
haxe_server.kill()
|
2019-02-21 09:13:00 +01:00
|
|
|
haxe_server = None
|