diff options
| -rw-r--r-- | functions.php | 16 | ||||
| -rw-r--r-- | tt-rss.php | 8 |
2 files changed, 24 insertions, 0 deletions
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 @@ <body onload="init()"> +<? if (ENABLE_UPDATE_DAEMON && !file_is_locked("update_daemon.lock")) { ?> + <div class="warning"> + <b>Warning:</b> 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. + </div> +<? } ?> + <table width="100%" height="100%" cellspacing="0" cellpadding="0" class="main"> <? if (get_pref($link, 'DISPLAY_HEADER')) { ?> <tr> |