aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMichael Vogel <icarus@dabo.de>2012-04-01 20:56:27 +0200
committerMichael Vogel <icarus@dabo.de>2012-04-01 20:56:27 +0200
commit5409825fe7edd926f9588057074e62c86f177f1f (patch)
treeca053918febfcaf7a270df7ed0e5d56792d959b5
parent4cf1e5aa21b3bcfac25d5ab95a2abccca48de523 (diff)
downloadvolse-hubzilla-5409825fe7edd926f9588057074e62c86f177f1f.tar.gz
volse-hubzilla-5409825fe7edd926f9588057074e62c86f177f1f.tar.bz2
volse-hubzilla-5409825fe7edd926f9588057074e62c86f177f1f.zip
New script that checks if a script is running
-rw-r--r--include/pidfile.php32
1 files changed, 32 insertions, 0 deletions
diff --git a/include/pidfile.php b/include/pidfile.php
new file mode 100644
index 000000000..47df8d1f4
--- /dev/null
+++ b/include/pidfile.php
@@ -0,0 +1,32 @@
+<?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;
+ }
+}
+?>