From: Andrew Dolgov <fox@bah.org.ru>
Date: Fri, 5 Feb 2010 12:01:36 +0000 (+0300)
Subject: make_lockfile: save current PID
X-Git-Tag: 1.4.1~16
X-Git-Url: https://git.wh0rd.org/?a=commitdiff_plain;h=82acc36dbac35f6db5bd764929be43456d71b136;p=tt-rss.git

make_lockfile: save current PID
---

diff --git a/functions.php b/functions.php
index abd1f20d..8eb6d79a 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;