diff options
Diffstat (limited to 'update_feeds.php')
| -rw-r--r-- | update_feeds.php | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/update_feeds.php b/update_feeds.php index d06beb829..967d2e429 100644 --- a/update_feeds.php +++ b/update_feeds.php @@ -12,7 +12,15 @@ require_once "db.php"; require_once "db-prefs.php"; require_once "functions.php"; - require_once "magpierss/rss_fetch.inc"; + + $lock_filename = "update_feeds.lock"; + + $lock_handle = make_lockfile($lock_filename); + + if (!$lock_handle) { + die("error: Can't create lockfile ($lock_filename). ". + "Maybe another process is already running.\n"); + } $link = db_connect(DB_HOST, DB_USER, DB_PASS, DB_NAME); @@ -46,4 +54,5 @@ db_close($link); + unlink($lock_filename); ?> |