diff options
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() |