xmaxima "killing X11-server" Re: [Maxima] maxima and cmucl2002-08-13 don't fit



On Wed, 2002-10-23 at 12:12, James Amundson wrote:

> That means that xmaxima kills every single process on the machine that
> user privileges allow. It's a rare bug, but it is completely
> devastating. We have to fix xmaxima so that "-1" is not the default
> value for pid.
> 
> We cannot release xmaxima with this bug.

(Yes, I am replying to my own message.)

I believe I have now fixed this bug in cvs. The default value for pid is
now "none". I don't think there are any possible dangerous side effects
for this choice.

--Jim