equal
deleted
inserted
replaced
31 end |
31 end |
32 end |
32 end |
33 |
33 |
34 -- Global 'prosody' object |
34 -- Global 'prosody' object |
35 prosody = { |
35 prosody = { |
36 hosts = {}, |
36 hosts = {}; |
37 events = require "util.events".new(), |
37 events = require "util.events".new(); |
38 platform = "posix" |
38 platform = "posix"; |
|
39 lock_globals = function () end; |
|
40 unlock_globals = function () end; |
39 }; |
41 }; |
40 local prosody = prosody; |
42 local prosody = prosody; |
41 |
43 |
42 config = require "core.configmanager" |
44 config = require "core.configmanager" |
43 |
45 |