# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1463920687 -7200
# Node ID 92f721226753b046a1b0d52990c9a15c91e0ac9d
# Parent  0d991d5659f08ed728fe8a0617171a76376bf6ac
util.datamanager: Import tostring and type (fix global access)

diff -r 0d991d5659f0 -r 92f721226753 util/datamanager.lua
--- 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;