9 > server.removeserver(<proxy65_port>); |
9 > server.removeserver(<proxy65_port>); |
10 module:load("proxy65", <proxy65_jid>); |
10 module:load("proxy65", <proxy65_jid>); |
11 ]]-- |
11 ]]-- |
12 |
12 |
13 |
13 |
|
14 local module = module; |
|
15 local tostring = tostring; |
14 local jid_split, jid_join, jid_compare = require "util.jid".split, require "util.jid".join, require "util.jid".compare; |
16 local jid_split, jid_join, jid_compare = require "util.jid".split, require "util.jid".join, require "util.jid".compare; |
15 local st = require "util.stanza"; |
17 local st = require "util.stanza"; |
16 local connlisteners = require "net.connlisteners"; |
18 local connlisteners = require "net.connlisteners"; |
17 local sha1 = require "util.hashes".sha1; |
19 local sha1 = require "util.hashes".sha1; |
18 local server = require "net.server"; |
20 local server = require "net.server"; |