Comparison

util/pluginloader.lua @ 5073:ecc89a60b2ba

util.pluginloader: Remove unused imports
author Matthew Wild <mwild1@gmail.com>
date Wed, 01 Aug 2012 01:27:42 +0100
parent 5072:586c9106a106
child 5776:bd0ff8ae98a8
child 6029:dd3d4cfbd3cb
comparison
equal deleted inserted replaced
5072:586c9106a106 5073:ecc89a60b2ba
12 path = path..dir_sep; -- add path separator to path end 12 path = path..dir_sep; -- add path separator to path end
13 path = path:gsub(dir_sep..dir_sep.."+", dir_sep); -- coalesce multiple separaters 13 path = path:gsub(dir_sep..dir_sep.."+", dir_sep); -- coalesce multiple separaters
14 plugin_dir[#plugin_dir + 1] = path; 14 plugin_dir[#plugin_dir + 1] = path;
15 end 15 end
16 16
17 local io_open, os_time = io.open, os.time; 17 local io_open = io.open;
18 local loadstring, pairs = loadstring, pairs;
19 local envload = require "util.envload".envload; 18 local envload = require "util.envload".envload;
20 19
21 module "pluginloader" 20 module "pluginloader"
22 21
23 function load_file(names) 22 function load_file(names)