author | Kim Alvefur <zash@zash.se> |
Sun, 22 May 2016 14:38:07 +0200 | |
changeset 7435 | 92f721226753 |
parent 7434 | 0d991d5659f0 |
child 7436 | 7eec6f3c7300 |
--- 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;