changeset 9121 | 70f34c663fb3 |
parent 9111 | 86f31a2174b3 |
child 9122 | 5444d4a8ad90 |
--- a/plugins/mod_pubsub/mod_pubsub.lua Sun Aug 05 15:17:00 2018 +0200 +++ b/plugins/mod_pubsub/mod_pubsub.lua Sun Aug 05 18:28:31 2018 +0200 @@ -150,6 +150,10 @@ end end +function get_service() + return service; +end + function set_service(new_service) service = new_service; module.environment.service = service;