|
Posted by Andrι Medeiros on 08/02/05 18:25
On Tue, 2005-08-02 at 15:09 +0100, Stut wrote:
> AndrΓ© Medeiros wrote:
> > Do like some services do:
> >
> > 1) Check if script.pid exists
> > 2) If it doesn't
> > 2.1) Write the process's PID onto the file
> > (http://pt.php.net/manual/en/function.getmypid.php)
> > 3) If it does
> > 3.1) Die gracefully :)
>
> Personally I'd extend that slightly to have the process touch the PID
> file every so often and to check that it's been touched recently when it
> starts up. Alternatively use the ps shell command to check that a
> process with that PID is still running, but that tends to be less reliable.
>
> If the process does decide to continue in spite of the PID file existing
> it should issue a a shell kill command to kill that PID in case it's
> hung or a zombie.
>
> -Stut
Excelent point!
Navigation:
[Reply to this message]
|