changeset 175:bff84a41f944

[project @ 1993-10-22 19:03:52 by jwe] (raw_mode): Only complain about stdin not being a tty if interactive or forced interactive.
author jwe
date Fri, 22 Oct 1993 19:03:52 +0000
parents ef33b132b192
children 86fe57141743
files src/utils.cc
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/utils.cc	Thu Oct 21 23:37:58 1993 +0000
+++ b/src/utils.cc	Fri Oct 22 19:03:52 1993 +0000
@@ -83,6 +83,7 @@
 #include "variables.h"
 #include "error.h"
 #include "utils.h"
+#include "input.h"
 #include "octave.h"
 #include "mappers.h"
 #include "version.h"
@@ -214,7 +215,7 @@
   static int curr_on = 0;
 
   int tty_fd = STDIN_FILENO;
-  if (! isatty (tty_fd))
+  if ((interactive || forced_interactive) && ! isatty (tty_fd))
     {
       error ("stdin is not a tty!");
       return;