Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
[3.1.9 bug] zsh does not die
- X-seq: zsh-users 3510
- From: Vincent Lefevre <vincent@xxxxxxxxxx>
- To: zsh-users@xxxxxxxxxxxxxx
- Subject: [3.1.9 bug] zsh does not die
- Date: Tue, 7 Nov 2000 11:15:14 +0100
- Mail-followup-to: zsh-users@xxxxxxxxxxxxxx
- Mailing-list: contact zsh-users-help@xxxxxxxxxxxxxx; run by ezmlm
With zsh 3.1.9 under OSF1, I execute a telnet and delete the window.
If the window was an xterm, no problem, zsh is properly killed. But
if it was an rxvt (version 2.18), zsh does not die and takes a lot
of CPU time.
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.org/> - 100%
validated HTML - Acorn Risc PC, Yellow Pig 17, Championnat International des
Jeux Mathématiques et Logiques, TETRHEX, etc.
Work: CR INRIA - computer arithmetic / PolKA research team at LORIA
Messages sorted by:
Reverse Date,
Date,
Thread,
Author