# HG changeset patch
# User jwe
# Date 751342410 0
# Node ID 8a750c9ad11635ee3168aa35228e54d31bbc36ae
# Parent  198c555813f04b0ca74e14d8abac2692aeac4b2d
[project @ 1993-10-23 02:13:30 by jwe]

diff -r 198c555813f0 -r 8a750c9ad116 src/utils.cc
--- a/src/utils.cc	Fri Oct 22 20:51:51 1993 +0000
+++ b/src/utils.cc	Sat Oct 23 02:13:30 1993 +0000
@@ -215,9 +215,10 @@
   static int curr_on = 0;
 
   int tty_fd = STDIN_FILENO;
-  if ((interactive || forced_interactive) && ! isatty (tty_fd))
+  if (! isatty (tty_fd))
     {
-      error ("stdin is not a tty!");
+      if (interactive || forced_interactive)
+	error ("stdin is not a tty!");
       return;
     }