Seb dixit: >Le Sun, 8 Jul 2012 14:01:35 +0000 (UTC) >Thorsten Glaser <[email protected]> a écrit: > >> Seb dixit: >> >> >Is it a bug, or are things expected to be that way for a reason I >> >have missed? :) >> >> Hrm. On MirBSD, INT ABRT and of course KILL terminate it. But >> sleep is special anyway, even if you don’t get the shell builtin:
TERM also terminates sleep (/bin/sleep is a hardlink to /bin/mksh on MirBSD, so I can actually test that), but formally, ALRM is the only correct signal for that (special case, sleep). >Moreover, in a script even cat as a problem: > > /bin/cat /dev/zero >/dev/null & > kill -s TERM %% > wait > >This never ends Again, with a 'sleep 1' before the kill, it does end, even without monitoring. bye, //mirabilos -- Sometimes they [people] care too much: pretty printers [and syntax highligh- ting, d.A.] mechanically produce pretty output that accentuates irrelevant detail in the program, which is as sensible as putting all the prepositions in English text in bold font. -- Rob Pike in "Notes on Programming in C"
