diff src/input.cc @ 3219:30770ba4457a

[project @ 1998-11-13 03:44:31 by jwe]
author jwe
date Fri, 13 Nov 1998 03:44:36 +0000
parents bc3fdfe311a3
children 4d33b1e56bff
line wrap: on
line diff
--- a/src/input.cc	Thu Nov 12 16:44:12 1998 +0000
+++ b/src/input.cc	Fri Nov 13 03:44:36 1998 +0000
@@ -165,9 +165,11 @@
 
   if (line_editing || force_readline)
     {
-      retval = command_editor::readline (s);
+      bool eof;
 
-      if (retval.empty ())
+      retval = command_editor::readline (s, eof);
+
+      if (! eof && retval.empty ())
 	retval = "\n";
     }
   else