Changeset

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
parents 7431:0d991d5659f0
children 7433:7eec6f3c7300
files util/datamanager.lua
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
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;