}
}
+ 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");
<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>
git.wh0rd.org / tt-rss.git / commitdiff
