Timeline

View changes from
and days back.

Ticket changes Milestones Wiki changes

08/10/09:

14:36 WikiStart edited by guest

(diff)

00:19 Ticket #90 (when using gnome-terminal instead of xterm, typing ‘exit’ will not kill …) closed by TomPh

fixed: This appears to be another instance of “mingled” exit-reporting. Any …

00:07 Ticket #89 (when using gnome-terminal instead of xterm, typing ‘exit’ will not kill …) closed by TomPh

duplicate

08/08/09:

16:34 Ticket #90 (when using gnome-terminal instead of xterm, typing ‘exit’ will not kill …) created by guest

actually, this action is erratic. Sometimes ‘exit’ will kill the …

16:30 Ticket #89 (when using gnome-terminal instead of xterm, typing ‘exit’ will not kill …) created by guest

07/24/09:

08:54 WikiStart edited by guest

(diff)

07/20/09:

02:15 WikiStart edited by TomPh

(diff)

02:13 ChangeLog edited by TomPh

(diff)