On Fri, May 23, 2008 at 07:39:40AM -0700, Bart Schaefer wrote:
> What version of the shell are we dealing with here?  Does it have PWS's
> patch from users/12815?  I've been a little worried that that is too
> simple.  On the other hand, if it does not have users/12815, it's
> possible that zsh is actually waiting for some other job that doesn't
> exist any more, and interrupting vlc is a red herring.

> I note from the ps output that PIDs have rolled over since the shell
> was started, which is exactly the case where that patch would come
> into play.

He's using what is just about stock 4.3.6.

Vincent, could you try reproducing this with the zsh-beta package?



-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to