Diff

util/datamanager.lua @ 7432:92f721226753

util.datamanager: Import tostring and type (fix global access)
author Kim Alvefur <zash@zash.se>
date Sun, 22 May 2016 14:38:07 +0200
parent 7202:5bf0ff3882aa
child 7673:177d569307fd
line wrap: on
line diff
--- a/util/datamanager.lua	Sun May 22 14:37:52 2016 +0200
+++ b/util/datamanager.lua	Sun May 22 14:38:07 2016 +0200
@@ -17,7 +17,9 @@
 local os_remove = os.remove;
 local os_rename = os.rename;
 local tonumber = tonumber;
+local tostring = tostring;
 local next = next;
+local type = type;
 local t_insert = table.insert;
 local t_concat = table.concat;
 local envloadfile = require"util.envload".envloadfile;