# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1469526167 -7200
# Node ID a3e3dc9131e767e06ec32cb5c0dfda07f9137ffb
# Parent  a0727d23ee658e3b63bd871fa2baf2de47556b40
mod_cloud_notify: Use typed config API

diff -r a0727d23ee65 -r a3e3dc9131e7 mod_cloud_notify/mod_cloud_notify.lua
--- a/mod_cloud_notify/mod_cloud_notify.lua	Sun Jul 24 17:17:06 2016 +0100
+++ b/mod_cloud_notify/mod_cloud_notify.lua	Tue Jul 26 11:42:47 2016 +0200
@@ -11,8 +11,8 @@
 local xmlns_push = "urn:xmpp:push:0";
 
 -- configuration
-local include_body = module:get_option("push_notification_with_body", false);
-local include_sender = module:get_option("push_notification_with_sender", false);
+local include_body = module:get_option_boolean("push_notification_with_body", false);
+local include_sender = module:get_option_boolean("push_notification_with_sender", false);
 
 -- For keeping state across reloads
 local push_enabled = module:open_store();