diff --git a/functions.php b/functions.php index 55e785488..f813b6baa 100644 --- a/functions.php +++ b/functions.php @@ -928,6 +928,22 @@ } } + function file_is_locked($filename) { + error_reporting(0); + $fp = fopen($filename, "r"); + error_reporting(DEFAULT_ERROR_LEVEL); + if ($fp) { + if (flock($fp, LOCK_EX | LOCK_NB)) { + flock($fp, LOCK_UN); + fclose($fp); + return false; + } + fclose($fp); + return true; + } + return false; + } + function make_lockfile($filename) { $fp = fopen($filename, "w"); diff --git a/tt-rss.php b/tt-rss.php index 1245be274..37eed61ab 100644 --- a/tt-rss.php +++ b/tt-rss.php @@ -50,6 +50,14 @@ + +
+ Warning: Update daemon is enabled in configuration, but daemon + process is not running, which prevents all feeds from updating. Please + start the daemon process or contact instance owner. +
+ +