SEGINT, readline extension & clean script exit - how to do it

[Jochem Maas <jochem@xxxxxxxxxxxxx>]

hi people,

I have a script - if I run it and then hit CTRL+C the script dies
and I'm returned to the prompt, only this leads to an unclean shutdown
and the directory one was in when the script was runs will contain a
file named 'session_mm_cli0.sem' - this quikly becomes messy.

so I went looking for a solution that allows me to trap SIGINT (which is the
signal that is produced by CTRL+C) and exit the script gracefully...

I searched the manual and came up with the following (which is more or
less a verbatim copy of what the example in the manual), which I
place at the top of my script:

<?php

// signal handler function
declare (ticks = 1);
function sig_handler($signo) {
    switch ($signo) {
        case SIGTERM:
        case SIGSEGV:
        case SIGQUIT:
        case SIGABRT:
        case SIGINT:
            exit;
    }
}
// setup signal handlers
pcntl_signal(SIGTERM, "sig_handler");
pcntl_signal(SIGSEGV, "sig_handler");
pcntl_signal(SIGQUIT, "sig_handler");
pcntl_signal(SIGTERM, "sig_handler");
pcntl_signal(SIGINT,  "sig_handler");

?>

now this does trap the SIGINT and allow for clean shutdown, but it has an
annoying side-affect: if readline() has been called and is waiting for input
the signal won't be handled until readline returns (i.e. until it recieves a newline char)
at which point thew script does die gracefully;

without the use of pcntl_signal() the SIGINT causes immediate script death regardless of
whether readline() is waiting for output.

so the question is how can I use readline() and handle the SIGINT gracefully whilst not waiting
for readline() to return control to my script?

thanks in advance!
rgds,
Jochem

-- 
PHP General Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php