From 5c4edad3455bf2a77382a17a8acbeda075e129c0 Mon Sep 17 00:00:00 2001
From: Florian Fischer <florian.fl.fischer@fau.de>
Date: Sun, 13 Oct 2019 23:08:59 +0200
Subject: don't try to terminate servers that exited with 0

---
 src/benchmark.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/benchmark.py b/src/benchmark.py
index 5530750..69a8d37 100644
--- a/src/benchmark.py
+++ b/src/benchmark.py
@@ -282,7 +282,7 @@ class Benchmark:
 
     def shutdown_server(self, server):
         """Terminate a started server running its shutdown_cmds in advance"""
-        if server["popen"].poll():
+        if server["popen"].poll() != None:
             return
 
         server_name = server.get("name", "Server")
-- 
cgit v1.2.3