diff options
| -rw-r--r-- | include/functions.php | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/include/functions.php b/include/functions.php index 2f288737e..87917a5cb 100644 --- a/include/functions.php +++ b/include/functions.php @@ -992,6 +992,13 @@ $fp = fopen(LOCK_DIRECTORY . "/$filename", "w"); if ($fp && flock($fp, LOCK_EX | LOCK_NB)) { + $stat_h = fstat($fp); + $stat_f = stat(LOCK_DIRECTORY . "/$filename"); + + if ($stat_h["ino"] != $stat_f["ino"] || $stat_h["dev"] != $stat_f["dev"]) { + return false; + } + if (function_exists('posix_getpid')) { fwrite($fp, posix_getpid() . "\n"); } |