14 local add_task = require "util.timer".add_task; |
14 local add_task = require "util.timer".add_task; |
15 local socket = require "socket"; |
15 local socket = require "socket"; |
16 local format = string.format; |
16 local format = string.format; |
17 local t_insert, t_sort = table.insert, table.sort; |
17 local t_insert, t_sort = table.insert, table.sort; |
18 local get_traceback = debug.traceback; |
18 local get_traceback = debug.traceback; |
19 local tostring, pairs, ipairs, getmetatable, newproxy, error, tonumber, |
19 local tostring, pairs, ipairs, getmetatable, newproxy, error, tonumber, setmetatable |
20 setmetatable |
20 = tostring, pairs, ipairs, getmetatable, newproxy, error, tonumber, setmetatable; |
21 = tostring, pairs, ipairs, getmetatable, newproxy, error, tonumber, |
|
22 setmetatable; |
|
23 |
21 |
24 local idna_to_ascii = require "util.encodings".idna.to_ascii; |
22 local idna_to_ascii = require "util.encodings".idna.to_ascii; |
25 local connlisteners_get = require "net.connlisteners".get; |
23 local connlisteners_get = require "net.connlisteners".get; |
26 local initialize_filters = require "util.filters".initialize; |
24 local initialize_filters = require "util.filters".initialize; |
27 local wrapclient = require "net.server".wrapclient; |
25 local wrapclient = require "net.server".wrapclient; |