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_benchmark.py | |
parent | 4b71ac550ea964e9c647dbb6bd9879bc06357255 (diff) |
fix: Add check to fail the benchmark test on server error (#4519)
Diffstat (limited to 'tools/http_benchmark.py')
-rwxr-xr-x | tools/http_benchmark.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/http_benchmark.py b/tools/http_benchmark.py index 64abbf8ba..d5067d86b 100755 --- a/tools/http_benchmark.py +++ b/tools/http_benchmark.py @@ -186,6 +186,10 @@ def run(server_cmd, port, merge_env=None, origin_cmd=None): print output return stats finally: + server_retcode = server.poll() + if server_retcode is not None and server_retcode != 0: + print "server ended with error" + sys.exit(1) server.kill() if origin is not None: origin.kill() |