changeset 1822 | 8b7bca07f5c0 |
parent 1343 | 7dbde05b48a9 |
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"; |