note 109333 added to function.getmypid
| From: | eight_hfatlivedotfr | Date: | Sat, 07 Jul 2012 12:19:29 +0000 |
| Subject: | note 109333 added to function.getmypid | ||
| Groups: | php.notes | ||
| Request: | Send a blank email to php-notes+get-189060@lists.php.net to get a copy of this message | ||
On Linux you can check if a process is still running by verifying if the PID exists in the /proc
directory :
<?php
if(file_exists('/proc/'.$pid))
{
echo 'The process is still running.';
}
?>
----
Server IP: 69.147.83.197
Probable Submitter: 105.133.3.200
----
Manual Page -- http://www.php.net/manual/en/function.getmypid.php
Edit -- https://master.php.net/note/edit/109333
Del: integrated -- https://master.php.net/note/delete/109333/integrated
Del: useless -- https://master.php.net/note/delete/109333/useless
Del: bad code -- https://master.php.net/note/delete/109333/bad+code
Del: spam -- https://master.php.net/note/delete/109333/spam
Del: non-english -- https://master.php.net/note/delete/109333/non-english
Del: in docs -- https://master.php.net/note/delete/109333/in+docs
Del: other reasons-- https://master.php.net/note/delete/109333
Reject -- https://master.php.net/note/reject/109333
Search -- https://master.php.net/manage/user-notes.php