detect crash on shutdown in stop.pl

2019-01-31 12:16:53 -05:00
parent 7b86c01d53
commit 9bf37f4e48
1 changed files with 6 additions and 1 deletions
@@ -236,7 +236,12 @@ sub clean_pid_file {

 	return unless defined($pid);

-	return if (send_signal(0, $pid) == 0);
+	# 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;
+		return;
+	}

 	return $server;
 }