[Bug] Killing processes under new forking mechanism

[Yves Pelletier <ypelletier@cmc.doe.ca>]

Hello all,

I run a Mintos/Vconsole setup under Freemint 12.4, patched to include the
new forking mechanism. Last night, I ran a make script that generated a
lot of children processes; for unrelated reasons the script went awry, so
I killed it with a ^C. 

First problem:  ^C killed "make" alright, but my shell (zsh) also died
with a memory violation message. I suspect this is likely my own fault for
not using bash. :-) Funny thing, though, 'cause I have used zsh for some 
time without this problem.

Second, and perhaps more significant, problem: ^C killed make as intended,
but none of the children.  In fact, they kept churning away, generating
happy little messages on my now useless console and spawning families of
their own. I had to switch consoles and "kill -9" each of the processes
one by one. 

I was able to reproduce this problem quite reliably.  My understanding of
"proper" unix is that if you kill a parent process, the children should
die, too. On my system, that doesn't seem to be happening. 

Comments?

I'd fix this myself if I could, but I am not a programmer. 

Yves
___________________________________________________________________________
"You don't need to mention it. No thanks. I'm a Government Man." db/be