diff options
author | Andrew Dolgov <[email protected]> | 2017-04-26 15:44:56 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2017-04-26 15:44:56 +0300 |
commit | e552bb0bf65cf02cfead323fd675d3d036f885dd (patch) | |
tree | 0901dfefdad90a801b1522af93751c0b6beb14f3 | |
parent | 9b666d2aa1d6a7fd9f239708ba2c59da5dfb9ca7 (diff) |
update_daemon: mask phpmd stuff
-rwxr-xr-x | update_daemon2.php | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/update_daemon2.php b/update_daemon2.php index 1dddf6efd..783217cef 100755 --- a/update_daemon2.php +++ b/update_daemon2.php @@ -45,6 +45,9 @@ $last_checkpoint = -1; + /** + * @SuppressWarnings(unused) + */ function reap_children() { global $children; global $ctimes; @@ -85,6 +88,9 @@ } } + /** + * @SuppressWarnings(unused) + */ function sigchld_handler($signal) { $running_jobs = reap_children(); |