make_lockfile: check ino and dev fields for lock file (refs #703)

master
Andrew Dolgov 12 years ago
parent 0f9067450a
commit 58fc7095ed

@ -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");
}

Loading…
Cancel
Save