diff src/sysdep.cc @ 3676:b937a6953b5e

[project @ 2000-06-08 14:45:55 by jwe]
author jwe
date Thu, 08 Jun 2000 14:45:57 +0000
parents 808f399398c9
children b4fa31442a78
line wrap: on
line diff
--- a/src/sysdep.cc	Wed Jun 07 17:14:37 2000 +0000
+++ b/src/sysdep.cc	Thu Jun 08 14:45:57 2000 +0000
@@ -430,7 +430,7 @@
 
   // XXX FIXME XXX -- add timeout and default value args?
 
-  if (interactive)
+  if (interactive || forced_interactive)
     {
       int c = kbhit (args.length () == 0);