make_lockfile: save current PID

15 years ago · 82acc36dba
parent 44cfa02554
commit 82acc36dba
1 changed files with 2 additions and 1 deletions
--- a/functions.php
+++ b/functions.php
@ -2236,6 +2236,7 @@
 		$fp = fopen(LOCK_DIRECTORY . "/$filename", "w");

 		if (flock($fp, LOCK_EX | LOCK_NB)) {
+			fwrite($fp, posix_getpid() . "\n");
 			return $fp;
 		} else {
 			return false;