diff src/input.h @ 9999:653716f3d976

get_debug_input: force interactive input mode; don't get user input unless stdin is a tty
author John W. Eaton <jwe@octave.org>
date Fri, 18 Dec 2009 03:05:06 -0500
parents d9b25c5b8ee5
children cd96d29c5efa
line wrap: on
line diff
--- a/src/input.h	Thu Dec 17 13:32:38 2009 -0800
+++ b/src/input.h	Fri Dec 18 03:05:06 2009 -0500
@@ -54,6 +54,9 @@
 // the command line.
 extern bool input_from_command_line_file;
 
+// TRUE means that stdin is a terminal, not a pipe or redirected file.
+extern bool stdin_is_tty;
+
 // TRUE means we're parsing a function file.
 extern bool reading_fcn_file;