diff --git a/bin/tests/system/stop.pl b/bin/tests/system/stop.pl index eaad0f4cf6a4ac1eb6541bebab9704a50bcfd351..5a4f16b5d3b6f36e7d07c88cd24c80020ab3b7ab 100644 --- a/bin/tests/system/stop.pl +++ b/bin/tests/system/stop.pl @@ -249,8 +249,12 @@ sub clean_pid_file { # If we're here, the PID file hasn't been cleaned up yet if (send_signal(0, $pid) == 0) { - print "I:$test:$server crashed on shutdown\n"; - $errors = 1; + # XXX: on windows this is likely to result in a + # false positive, so don't bother reporting the error. + if ($ENV{'CYGWIN'} eq "") { + print "I:$test:$server crashed on shutdown\n"; + $errors = 1; + } return; }