wip #6615 @0.25

diff --git a/app/Fluidbook/Farm.php b/app/Fluidbook/Farm.php
index 37178c9a89216c554dc9f218603cf3f321ca0ff2..43755b5f618d7bae1ceb2b9a84ae8f4efc394fe4 100644 (file)
--- a/app/Fluidbook/Farm.php
+++ b/app/Fluidbook/Farm.php
@@ -213,7 +213,9 @@ class Farm
         }
         touch($lockFile);
         $res = $callback();
-        unlink($lockFile);
+        if (file_exists($lockFile)) {
+            @unlink($lockFile);
+        }
         return $res;
     }