10x sanity lock timeout

2018-11-05 11:47:50 +02:00
parent 271815e731
commit 90fb711d2a
1 changed files with 2 additions and 2 deletions
--- a/sanity.php
+++ b/sanity.php
@@ -47,8 +47,8 @@ if (file_exists(SANITY_LOCK_PATH)) {
    }
    $pid_time = filemtime(SANITY_LOCK_PATH);

-    // If the process died, restart after 3 times the sanity interval
-    if (time() - $pid_time > ($_config['sanity_interval'] ?? 900 * 3)) {
+    // If the process died, restart after 10 times the sanity interval
+    if (time() - $pid_time > ($_config['sanity_interval'] ?? 900 * 10)) {
        @unlink(SANITY_LOCK_PATH);
    }