On Tue, 11 Dec 2001, <[EMAIL PROTECTED]> wrote: > I guess there isn't any harm in leaving it in, or should we remove > it all together since it is inconsistent?
Well, at least it destroys the spawned processes - which we had left to the OS so far. I'd say we leave the patch in and live with the fact that Process.destroy is a little more violent on Unix. Stefan -- To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]> For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
