diff options
| author | Andres Villegas <villegas.pelaez.andres@gmail.com> | 2020-03-30 11:04:45 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-30 14:04:45 -0400 |
| commit | 3892d49165f00b2ce078825c204ba8ceaa21f386 (patch) | |
| tree | 8cca3076886bfb1e52c68685910bd84ecf97c45d /tools/http_server.py | |
| parent | 4b71ac550ea964e9c647dbb6bd9879bc06357255 (diff) | |
fix: Add check to fail the benchmark test on server error (#4519)
Diffstat (limited to 'tools/http_server.py')
| -rwxr-xr-x | tools/http_server.py | 3 |
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() |