From 71647b64ca6cb29ab7f21127df4378721fea328d Mon Sep 17 00:00:00 2001
From: Inso <insomniak.fr@gmail.com>
Date: Sun, 6 Sep 2015 17:34:49 +0200
Subject: [PATCH] Fix run_tests.py on windows
---
run_tests.py | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/run_tests.py b/run_tests.py
index 18e88c22..dc97800c 100644
--- a/run_tests.py
+++ b/run_tests.py
@@ -22,7 +22,9 @@ finally:
os.kill(p.pid, signal.SIGINT)
time.sleep(2)
try:
- os.kill(p.pid, signal.SIGKILL)
+
+ if sys.platform == "linux":
+ os.kill(p.pid, signal.SIGKILL)
p.kill()
print("Hard killed")
except OSError:
--
GitLab