From 8827d4c142f91d2166c8e2ee21ec7df04187b170 Mon Sep 17 00:00:00 2001 From: Michael Date: Tue, 5 Dec 2023 21:18:44 +0000 Subject: [PATCH] Check if the daemon pid file can be written --- bin/daemon.php | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/bin/daemon.php b/bin/daemon.php index cd774fe25e..1a604d7135 100755 --- a/bin/daemon.php +++ b/bin/daemon.php @@ -163,9 +163,15 @@ if (!$foreground) { exit(1); } elseif ($pid) { // The parent process continues here + file_put_contents($pidfile, $pid); + if (!is_readable($pidfile)) { + echo "Pid file wasn't written.\n"; + Logger::warning('Could not store pid file'); + posix_kill($pid, SIGTERM); + exit(1); + } echo 'Child process started with pid ' . $pid . ".\n"; Logger::notice('Child process started', ['pid' => $pid]); - file_put_contents($pidfile, $pid); exit(0); } -- 2.39.5