diff options
author | Andrew Dolgov <[email protected]> | 2007-09-25 04:23:29 +0100 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2007-09-25 04:23:29 +0100 |
commit | 31a6d42de4be9cb20317a7744190c891cd1ded55 (patch) | |
tree | 4d51a559bb8c925939cba7d4dfa13622f4a1620d /update_feeds.php | |
parent | 0d826d02795dedb593c9de309240400ed85b709e (diff) |
lock checking in update_feeds.php
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); ?> |