Use /proc/$pid if posix_getsid is undefined
This commit is contained in:
parent
29d1221346
commit
52b06b5afc
|
|
@ -58,15 +58,27 @@
|
||||||
$exists = false;
|
$exists = false;
|
||||||
|
|
||||||
//check to see if the process is running
|
//check to see if the process is running
|
||||||
if (function_exists(posix_getsid) && file_exists($file)) {
|
if (file_exists($file)) {
|
||||||
$pid = file_get_contents($file);
|
$pid = file_get_contents($file);
|
||||||
if (posix_getsid($pid) === false) {
|
if (function_exists(posix_getsid)) {
|
||||||
//process is not running
|
if (posix_getsid($pid) === false) {
|
||||||
$exists = false;
|
//process is not running
|
||||||
|
$exists = false;
|
||||||
|
}
|
||||||
|
else {
|
||||||
|
//process is running
|
||||||
|
$exists = true;
|
||||||
|
}
|
||||||
}
|
}
|
||||||
else {
|
else {
|
||||||
//process is running
|
if (file_exists('/proc/'.$pid)) {
|
||||||
$exists = true;
|
//process is running
|
||||||
|
$exists = true;
|
||||||
|
}
|
||||||
|
else {
|
||||||
|
//process is not running
|
||||||
|
$exists = false;
|
||||||
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue