From 2d583f85ee6ef740c1f13e44364d2a55ec6c0c31 Mon Sep 17 00:00:00 2001
From: Andy Hayden <andyhayden1@gmail.com>
Date: Fri, 19 Oct 2018 19:15:29 -0700
Subject: Exit http_server.py if it's crashed

---
 tools/http_server.py | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to 'tools')

diff --git a/tools/http_server.py b/tools/http_server.py
index 222410c15..c96b070e6 100755
--- a/tools/http_server.py
+++ b/tools/http_server.py
@@ -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)
-- 
cgit v1.2.3