util/envload.lua
changeset 7933 5dec27760ecd
parent 7927 8487fe9fc335
child 8419 bc9cb23b604a
--- a/util/envload.lua	Wed Mar 01 17:37:29 2017 +0100
+++ b/util/envload.lua	Wed Mar 01 17:48:15 2017 +0100
@@ -22,6 +22,7 @@
 		local fh, err, errno = io_open(file);
 		if not fh then return fh, err, errno; end
 		local f, err = load(function () return fh:read(2048); end, "@"..file);
+		fh:close();
 		if f and env then setfenv(f, env); end
 		return f, err;
 	end
@@ -33,7 +34,9 @@
 	function envloadfile(file, env)
 		local fh, err, errno = io_open(file);
 		if not fh then return fh, err, errno; end
-		return load(fh:lines(2048), "@"..file, nil, env);
+		local f, err = load(fh:lines(2048), "@"..file, nil, env);
+		fh:close();
+		return f, err;
 	end
 end