equal
deleted
inserted
replaced
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) |