From: Andrew Dolgov Date: Wed, 29 May 2013 03:46:14 +0000 (+0400) Subject: fix file_is_locked X-Git-Tag: 1.8~54 X-Git-Url: https://git.wh0rd.org/?a=commitdiff_plain;h=8ff2a86cf33ed573602a4c6abf8ed8e4ee7c45f9;p=tt-rss.git fix file_is_locked --- diff --git a/include/functions.php b/include/functions.php index 01ffa751..bad01eb9 100644 --- a/include/functions.php +++ b/include/functions.php @@ -961,23 +961,28 @@ } function file_is_locked($filename) { - if (function_exists('flock') && file_exists(LOCK_DIRECTORY . "/$filename")) { - $fp = @fopen(LOCK_DIRECTORY . "/$filename", "r"); - if ($fp) { - if (flock($fp, LOCK_EX | LOCK_NB)) { - flock($fp, LOCK_UN); + if (file_exists(LOCK_DIRECTORY . "/$filename")) { + if (function_exists('flock')) { + $fp = @fopen(LOCK_DIRECTORY . "/$filename", "r"); + if ($fp) { + if (flock($fp, LOCK_EX | LOCK_NB)) { + flock($fp, LOCK_UN); + fclose($fp); + return false; + } fclose($fp); + return true; + } else { return false; } - fclose($fp); - return true; - } else { - return false; } + return true; // consider the file always locked and skip the test + } else { + return false; } - return true; // consider the file always locked and skip the test } + function make_lockfile($filename) { $fp = fopen(LOCK_DIRECTORY . "/$filename", "w");