ksh doesn't die with USR1

[smondet]

The failure of the
"error-in-get-stdout-3"
test with ksh is due to the fact that kill -s USR1 <pid> does not kill the shell.

bash$ PS1='ksh\$ ' ksh
ksh$ ps
  PID TTY          TIME CMD
 1990 pts/21   00:00:00 ksh
 1993 pts/21   00:00:00 ps
29935 pts/21   00:00:00 bash
ksh$ kill -s USR1 1990
ksh$ kill -9 1990
Killed
bash$