[clisp-list] Re: A script receiving a signal doesn't execute cleanup forms!

[Sam S. <sd...@gn...>]

> * Pascal Bourguignon <cwo@vasbezngvzntb.pbz> [2005-10-13 00:22:30 +0200]:
>
>
> [pjb@thalassa tmp]$ /usr/local/languages/clisp-2.35-woreadline/bin/clisp -ansi -q -norc -K full -x '(unwind-protect (sleep 60)
>         (format t "Clean-up!")
>         (finish-output))' & p=$!
>> > [1] 15706
> [pjb@thalassa tmp]$ kill $p
>
> [1]+  Stopped                 /usr/local/languages/clisp-2.35-woreadline/bin/clisp -ansi -q -norc -K full -x '(unwind-protect (sleep 60)
>         (format t "Clean-up!")
>         (finish-output))'
> [pjb@thalassa tmp]$ fg
> /usr/local/languages/clisp-2.35-woreadline/bin/clisp -ansi -q -norc -K full -x '(unwind-protect (sleep 60)
>         (format t "Clean-up!")
>         (finish-output))'
> Exiting on signal 15
> Clean-up!

this is bug in bash - this does not happen under other shells.
(and yes, this has nothing to do with readline&clisp)

-- 
Sam Steingold (http://www.podval.org/~sds) running w2k
<http://www.memri.org/> <http://www.dhimmi.com/>
<http://www.savegushkatif.org> <http://www.iris.org.il> <http://www.camera.org>
He who laughs last did not get the joke.