diff options
author | wn_ <[email protected]> | 2021-11-10 21:53:28 +0000 |
---|---|---|
committer | wn_ <[email protected]> | 2021-11-10 21:53:28 +0000 |
commit | bf53dfa51559fd094338f23acd0f4ec312bfd215 (patch) | |
tree | 75e1bbfb8be3166be77fbe2fc578cd50eadd39f4 | |
parent | 4cc3374f9f6cdd6ea05d4d16942d0165d8b2ed90 (diff) |
Don't use 'mixed' directly (PHP 8+).
-rwxr-xr-x | update_daemon2.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/update_daemon2.php b/update_daemon2.php index 46f7450a6..06a31225e 100755 --- a/update_daemon2.php +++ b/update_daemon2.php @@ -79,8 +79,9 @@ /** * @SuppressWarnings(unused) + * @param mixed $siginfo */ - function sigchld_handler(int $signo, mixed $siginfo): void { + function sigchld_handler(int $signo, $siginfo): void { $running_jobs = reap_children(); Debug::log("Received SIGCHLD, $running_jobs active tasks left."); |