diff options
author | Andrew Dolgov <[email protected]> | 2006-02-13 14:08:23 +0100 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2006-02-13 14:08:23 +0100 |
commit | 27981ca30f85655ca487257418b19a17f962b0c3 (patch) | |
tree | 7257ef8804107f522a95649273ce4e56d554ff4c /functions.php | |
parent | 3e4950c7bb00a0ed819a81f20ca3cb3a004fdccc (diff) |
warn if daemon process is not running on server
Diffstat (limited to 'functions.php')
-rw-r--r-- | functions.php | 16 |
1 files changed, 16 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"); |