From 20a48a818f4084f1b6480e3ec846c219abaafd5b Mon Sep 17 00:00:00 2001
From: Roberto Ierusalimschy <roberto@inf.puc-rio.br>
Date: Fri, 27 Jun 1997 19:38:49 -0300
Subject: a file handle must be a userdata.

---
 iolib.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/iolib.c b/iolib.c
index d367097e..e518df1b 100644
--- a/iolib.c
+++ b/iolib.c
@@ -41,7 +41,7 @@ static void pushresult (int i)
 static FILE *getfile (char *name)
 {
   lua_Object f = lua_getglobal(name);
-  if (lua_tag(f) != lua_tagio)
+  if (!lua_isuserdata(f) || lua_tag(f) != lua_tagio)
     luaL_verror("global variable %s is not a file handle", name);
   return lua_getuserdata(f);
 }
-- 
cgit v1.2.3-55-g6feb