6 -- COPYING file in the source package for more information. |
6 -- COPYING file in the source package for more information. |
7 -- |
7 -- |
8 |
8 |
9 |
9 |
10 local format = string.format; |
10 local format = string.format; |
11 local setmetatable, type = setmetatable, type; |
11 local setmetatable = setmetatable; |
12 local pairs, ipairs = pairs, ipairs; |
12 local ipairs = ipairs; |
13 local char = string.char; |
13 local char = string.char; |
14 local pcall = pcall; |
14 local pcall = pcall; |
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 tostring, tonumber = tostring, tonumber; |
19 local tonumber = tonumber; |
20 local error = error; |
|
21 local next = next; |
20 local next = next; |
22 local t_insert = table.insert; |
21 local t_insert = table.insert; |
23 local t_concat = table.concat; |
22 local t_concat = table.concat; |
24 local envloadfile = require"util.envload".envloadfile; |
23 local envloadfile = require"util.envload".envloadfile; |
25 local serialize = require "util.serialization".serialize; |
24 local serialize = require "util.serialization".serialize; |