changeset 314 | 851f271d25b0 |
parent 235 | 6526df1a7277 |
child 421 | 63be85693710 |
313:a273f3a7b8f8 | 314:851f271d25b0 |
---|---|
1 |
1 |
2 local st = require "util.stanza" |
2 local st = require "util.stanza" |
3 local send = require "core.sessionmanager".send_to_session |
|
4 |
3 |
5 local jid_split = require "util.jid".split; |
4 local jid_split = require "util.jid".split; |
6 local t_concat = table.concat; |
5 local t_concat = table.concat; |
7 |
6 |
8 local start_time = os.time(); |
7 local start_time = os.time(); |