make_lockfile: save current PID

diff --git a/functions.php b/functions.php
index abd1f20d5baad813e29a86a9cffda9c5a8196a10..8eb6d79a64d78fce85e8cf99486a5430cdcca0be 100644 (file)
--- 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;