equal
deleted
inserted
replaced
9 local filters = require "util.filters"; |
9 local filters = require "util.filters"; |
10 |
10 |
11 local xmlns_push = "urn:xmpp:push:0"; |
11 local xmlns_push = "urn:xmpp:push:0"; |
12 |
12 |
13 -- configuration |
13 -- configuration |
14 local include_body = module:get_option("push_notification_with_body", true); |
14 local include_body = module:get_option("push_notification_with_body", false); |
15 local include_sender = module:get_option("push_notification_with_sender", true); |
15 local include_sender = module:get_option("push_notification_with_sender", false); |
16 |
16 |
17 -- For keeping state across reloads |
17 -- For keeping state across reloads |
18 local push_enabled = module:shared("push-enabled-users"); |
18 local push_enabled = module:shared("push-enabled-users"); |
19 |
19 |
20 -- http://xmpp.org/extensions/xep-0357.html#disco |
20 -- http://xmpp.org/extensions/xep-0357.html#disco |