mod_auto_activate_hosts/mod_auto_activate_hosts.lua
changeset 1822 8b7bca07f5c0
parent 1343 7dbde05b48a9
equal deleted inserted replaced
1821:1971ff719e72 1822:8b7bca07f5c0
     1 module:set_global();
     1 module:set_global();
       
     2 
       
     3 local hostmanager = require"core.hostmanager";
     2 
     4 
     3 local array = require "util.array";
     5 local array = require "util.array";
     4 local set = require "util.set";
     6 local set = require "util.set";
     5 local it = require "util.iterators";
     7 local it = require "util.iterators";
     6 local config = require "core.configmanager";
     8 local config = require "core.configmanager";