From 82acc36dbac35f6db5bd764929be43456d71b136 Mon Sep 17 00:00:00 2001 From: Andrew Dolgov Date: Fri, 5 Feb 2010 15:01:36 +0300 Subject: [PATCH] make_lockfile: save current PID --- functions.php | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/functions.php b/functions.php index abd1f20d5..8eb6d79a6 100644 --- a/functions.php +++ b/functions.php @@ -2235,7 +2235,8 @@ function make_lockfile($filename) { $fp = fopen(LOCK_DIRECTORY . "/$filename", "w"); - if (flock($fp, LOCK_EX | LOCK_NB)) { + if (flock($fp, LOCK_EX | LOCK_NB)) { + fwrite($fp, posix_getpid() . "\n"); return $fp; } else { return false;