--- linux/drivers/char/tty_io.c.orig Tue Oct 22 11:56:46 1996
+++ linux/drivers/char/tty_io.c Tue Oct 22 11:56:34 1996
@@ -1714,7 +1714,7 @@
if (((*p)->tty == tty) ||
((session > 0) && ((*p)->session == session)))
send_sig(SIGKILL, *p, 1);
- else {
+ else if ((*p)->files) {
for (i=0; i < NR_OPEN; i++) {
filp = (*p)->files->fd[i];
if (filp && (filp->f_op == &tty_fops) &&
-Sam.
please cc follow-ups to csc4sjm@gps.leeds.ac.uk