1 files changed, 3 insertions, 0 deletions
diff --git a/tools/http_server.py b/tools/http_server.py
index 0ed61465c..e2e9f2d98 100755
--- a/tools/http_server.py
+++ b/tools/http_server.py
@@ -352,6 +352,9 @@ def spawn():
         yield servers
     finally:
         for s in servers:
+            # Make sure all servers still running,
+            # if not assume there was an error
+            assert s.thread.is_alive()
             s.server.shutdown()