diff --git a/bin/tests/system/stop.pl b/bin/tests/system/stop.pl index 0008162e7c4fa7b492e7a70bc32c0b548790d1bf..06ebf61a8903e9633ef3d7cc9de7bd4a8bb19eca 100644 --- a/bin/tests/system/stop.pl +++ b/bin/tests/system/stop.pl @@ -238,8 +238,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; }