diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/functions.php | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/include/functions.php b/include/functions.php index 87917a5cb..f05b5cb40 100644 --- a/include/functions.php +++ b/include/functions.php @@ -995,8 +995,12 @@ $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 (strtoupper(substr(PHP_OS, 0, 3)) !== 'WIN') { + if ($stat_h["ino"] != $stat_f["ino"] || + $stat_h["dev"] != $stat_f["dev"]) { + + return false; + } } if (function_exists('posix_getpid')) { |