Merge branch 'master' of github.com:lavary/crunz

lavary · Jul 11, 2016 · 0923d46 · 0923d46
2 parents fa707fd + 8f388cc
commit 0923d46
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Event.php b/src/Event.php
@@ -245,7 +245,7 @@ public function isLocked()
     {
         $lock_file = $this->lockFilePath();
 
-        $pid       = file_exists($lock_file) ? trim(file_get_contents($lock_file)) : null;
+        $pid       = file_exists($lock_file) ? (int)trim(file_get_contents($lock_file)) : null;
 
         return (!is_null($pid) && posix_getsid($pid)) ? true : false;