44:37396504de5f | 45:50a2e4fb0a16 |
---|---|
24 | 24 |
25 verse.add_task = require "util.timer".add_task; | 25 verse.add_task = require "util.timer".add_task; |
26 | 26 |
27 function verse.loop() | 27 function verse.loop() |
28 return server.loop(); | 28 return server.loop(); |
29 end | |
30 | |
31 function verse.quit() | |
32 return server.setquitting(true); | |
29 end | 33 end |
30 | 34 |
31 verse.logger = logger.init; | 35 verse.logger = logger.init; |
32 | 36 |
33 function verse.set_logger(logger) | 37 function verse.set_logger(logger) |