util/datamanager.lua
changeset 7435 92f721226753
parent 7205 5bf0ff3882aa
child 7676 177d569307fd
equal deleted inserted replaced
7434:0d991d5659f0 7435:92f721226753
    15 local log = require "util.logger".init("datamanager");
    15 local log = require "util.logger".init("datamanager");
    16 local io_open = io.open;
    16 local io_open = io.open;
    17 local os_remove = os.remove;
    17 local os_remove = os.remove;
    18 local os_rename = os.rename;
    18 local os_rename = os.rename;
    19 local tonumber = tonumber;
    19 local tonumber = tonumber;
       
    20 local tostring = tostring;
    20 local next = next;
    21 local next = next;
       
    22 local type = type;
    21 local t_insert = table.insert;
    23 local t_insert = table.insert;
    22 local t_concat = table.concat;
    24 local t_concat = table.concat;
    23 local envloadfile = require"util.envload".envloadfile;
    25 local envloadfile = require"util.envload".envloadfile;
    24 local serialize = require "util.serialization".serialize;
    26 local serialize = require "util.serialization".serialize;
    25 local path_separator = assert ( package.config:match ( "^([^\n]+)" ) , "package.config not in standard form" ) -- Extract directory seperator from package.config (an undocumented string that comes with lua)
    27 local path_separator = assert ( package.config:match ( "^([^\n]+)" ) , "package.config not in standard form" ) -- Extract directory seperator from package.config (an undocumented string that comes with lua)