diff options
author | Andrew Dolgov <[email protected]> | 2021-02-22 17:35:52 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2021-02-22 17:35:52 +0300 |
commit | add6242e5148d29be506d753ca4123b900427b7f (patch) | |
tree | 9ea2831b59907db74ae0d0c56f3cfa0177af2807 /update_daemon2.php | |
parent | 3f00502305d6dfaaf777483c6581bb7615534ba1 (diff) |
do not use define_default() because it screws with static analyzers
Diffstat (limited to 'update_daemon2.php')
-rwxr-xr-x | update_daemon2.php | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/update_daemon2.php b/update_daemon2.php index 2a016df48..af4cdedc9 100755 --- a/update_daemon2.php +++ b/update_daemon2.php @@ -13,10 +13,10 @@ require_once "config.php"; // defaults - define_default('PURGE_INTERVAL', 3600); // seconds - define_default('MAX_CHILD_RUNTIME', 1800); // seconds - define_default('MAX_JOBS', 2); - define_default('SPAWN_INTERVAL', DAEMON_SLEEP_INTERVAL); // seconds + if (!defined('PURGE_INTERVAL')) define('PURGE_INTERVAL', 3600); // seconds + if (!defined('MAX_CHILD_RUNTIME')) define('MAX_CHILD_RUNTIME', 1800); // seconds + if (!defined('MAX_JOBS')) define('MAX_JOBS', 2); + if (!defined('SPAWN_INTERVAL')) define('SPAWN_INTERVAL', DAEMON_SLEEP_INTERVAL); // seconds require_once "sanity_check.php"; require_once "db-prefs.php"; |