reply failed to whom?

diff --git a/drivers/tty/tty.c b/drivers/tty/tty.c
index 8549b1ef21f39422e6afa15d7f69b6075e4d6e65..7598f83a37a35ef332394eba582f34e871a057d7 100644 (file)
--- a/drivers/tty/tty.c
+++ b/drivers/tty/tty.c
@@ -1478,6 +1478,7 @@ int status;                       /* reply code */
   tty_mess.REP_STATUS = status;
 
   if ((status = send(replyee, &tty_mess)) != OK) {
+       printf("TTY: couldn't reply to %d\n", replyee);
        panic("TTY","tty_reply failed, status\n", status);
   }
 }