util/datamanager.lua
changeset 267 6303b7454ad0
parent 247 681b29aa134f
child 452 613c5c6bdce4
equal deleted inserted replaced
260:182f0c895676 267:6303b7454ad0
     4 local char = string.char;
     4 local char = string.char;
     5 local loadfile, setfenv, pcall = loadfile, setfenv, pcall;
     5 local loadfile, setfenv, pcall = loadfile, setfenv, pcall;
     6 local log = log;
     6 local log = log;
     7 local io_open = io.open;
     7 local io_open = io.open;
     8 local os_remove = os.remove;
     8 local os_remove = os.remove;
     9 local tostring = tostring;
     9 local tostring, tonumber = tostring, tonumber;
    10 local error = error;
    10 local error = error;
    11 local next = next;
    11 local next = next;
    12 local t_insert = table.insert;
    12 local t_insert = table.insert;
    13 
    13 
    14 local indent = function(f, i)
    14 local indent = function(f, i)