From 90fb711d2a9711bb7ef94559e1944f8643500d71 Mon Sep 17 00:00:00 2001
From: "admin@arionum.com" <admin@arionum.com>
Date: Mon, 5 Nov 2018 11:47:50 +0200
Subject: [PATCH] 10x sanity lock timeout

---
 sanity.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/sanity.php b/sanity.php
index 8272281..7a474d3 100755
--- 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);
     }