25 return t; |
25 return t; |
26 end |
26 end |
27 |
27 |
28 verse.add_task = require "util.timer".add_task; |
28 verse.add_task = require "util.timer".add_task; |
29 |
29 |
|
30 verse.logger = logger.init; |
|
31 verse.log = verse.logger("verse"); |
|
32 |
|
33 function verse.set_logger(logger) |
|
34 verse.log = logger("verse"); |
|
35 server.setlogger(logger); |
|
36 end |
|
37 |
|
38 local function error_handler(err) |
|
39 verse.log("error", "Error: %s", err); |
|
40 verse.log("error", "Traceback: %s", debug.traceback()); |
|
41 end |
|
42 |
|
43 function verse.set_error_handler(new_error_handler) |
|
44 error_handler = new_error_handler; |
|
45 end |
|
46 |
30 function verse.loop() |
47 function verse.loop() |
31 return server.loop(); |
48 return server.loop(); |
32 end |
49 end |
33 |
50 |
34 function verse.quit() |
51 function verse.quit() |
35 return server.setquitting(true); |
52 return server.setquitting(true); |
36 end |
|
37 |
|
38 verse.logger = logger.init; |
|
39 |
|
40 function verse.set_logger(logger) |
|
41 server.setlogger(logger); |
|
42 end |
53 end |
43 |
54 |
44 function stream:connect(connect_host, connect_port) |
55 function stream:connect(connect_host, connect_port) |
45 connect_host = connect_host or "localhost"; |
56 connect_host = connect_host or "localhost"; |
46 connect_port = tonumber(connect_port) or 5222; |
57 connect_port = tonumber(connect_port) or 5222; |