diff --git a/lua.c b/lua.c index b5cdcb0f..b8a093d4 100644 --- a/lua.c +++ b/lua.c @@ -3,7 +3,7 @@ ** Linguagem para Usuarios de Aplicacao */ -char *rcs_lua="$Id: lua.c,v 1.7 1995/10/31 17:05:35 roberto Exp roberto $"; +char *rcs_lua="$Id: lua.c,v 1.8 1996/03/12 13:14:52 roberto Exp roberto $"; #include #include @@ -41,7 +41,7 @@ static void lua_getargv (void) static void manual_input (void) { - if (isatty(fileno(stdin))) + if (isatty(0)) { char buffer[250]; while (fgets(buffer, sizeof(buffer), stdin) != 0)