--- input.c	1998/07/08 16:57:24	1.12
+++ input.c	1998/07/09 16:14:34
@@ -131,8 +131,13 @@
 			}
 			break;
 		}
-		if (chars_in == 0)
+		if (chars_in == 0) {
+			if (interactive && istack->fd == 0 && isatty(0)) {
+				fprint(2, "type `exit' to leave the shell\n");
+				return last = '\n';
+			}
 			return last = EOF;
+		}
 		chars_out = 2;
 		if (dashvee)
 			writeall(2, inbuf + 2, chars_in);