diff options
Diffstat (limited to 'cpp/config/TestUtil.py')
-rw-r--r-- | cpp/config/TestUtil.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/cpp/config/TestUtil.py b/cpp/config/TestUtil.py index 3f2f4b62c4e..3f9c13fe692 100644 --- a/cpp/config/TestUtil.py +++ b/cpp/config/TestUtil.py @@ -36,7 +36,11 @@ def killServers(): global serverPids for pid in serverPids: - if sys.platform == "cygwin" or sys.platform == "win32": + if sys.platform == "cygwin": + print "killServers(): not implemented for cygwin python" + sys.exit(1) + + if sys.platform == "win32": import win32api handle = win32api.OpenProcess(1, 0, pid) return (0 != win32api.TerminateProcess(handle, 0)) |