From dd428cf4fc1ec043eea99e8d909cc21c5e214d26 Mon Sep 17 00:00:00 2001
From: friendica <info@friendica.com>
Date: Thu, 29 Nov 2012 19:52:10 -0800
Subject: rm pidfile stuff since we won't need poller locking

---
 include/pidfile.php | 32 --------------------------------
 1 file changed, 32 deletions(-)
 delete mode 100644 include/pidfile.php

(limited to 'include/pidfile.php')

diff --git a/include/pidfile.php b/include/pidfile.php
deleted file mode 100644
index 47df8d1f4..000000000
--- a/include/pidfile.php
+++ /dev/null
@@ -1,32 +0,0 @@
-<?php
-class pidfile {
-	private $_file;
-	private $_running;
-
-	public function __construct($dir, $name) {
-		$this->_file = "$dir/$name.pid";
-
-		if (file_exists($this->_file)) {
-			$pid = trim(file_get_contents($this->_file));
-			if (posix_kill($pid, 0)) {
-				$this->_running = true;
-			}
-		}
-
-		if (! $this->_running) {
-			$pid = getmypid();
-			file_put_contents($this->_file, $pid);
-		}
-	}
-
-	public function __destruct() {
-		if ((! $this->_running) && file_exists($this->_file)) {
-			unlink($this->_file);
-		}
-	}
-
-	public function is_already_running() {
-		return $this->_running;
-	}
-}
-?>
-- 
cgit v1.2.3