mirror of
https://github.com/denoland/deno.git
synced 2024-12-22 07:14:47 -05:00
Exit http_server.py if it's crashed
This commit is contained in:
parent
3a6b2f3c71
commit
2d583f85ee
1 changed files with 6 additions and 4 deletions
|
@ -53,12 +53,14 @@ def spawn():
|
|||
r_thread.daemon = True
|
||||
r_thread.start()
|
||||
sleep(1) # TODO I'm too lazy to figure out how to do this properly.
|
||||
return thread
|
||||
|
||||
|
||||
if __name__ == '__main__':
|
||||
try:
|
||||
spawn()
|
||||
while True:
|
||||
sleep(100)
|
||||
thread = spawn()
|
||||
while thread.is_alive():
|
||||
sleep(10)
|
||||
except KeyboardInterrupt:
|
||||
sys.exit()
|
||||
pass
|
||||
sys.exit(1)
|
||||
|
|
Loading…
Reference in a new issue