# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1366791655 -7200
# Node ID 8b1250df82e809b67a6842c79164426de7fcf3c5
# Parent  93ef813dfd0636a05f4d19a0482c92a966a180cd
mod_support_contact: Use module:get_option_string()

diff -r 93ef813dfd06 -r 8b1250df82e8 mod_support_contact/mod_support_contact.lua
--- a/mod_support_contact/mod_support_contact.lua	Wed Apr 24 09:34:22 2013 +0200
+++ b/mod_support_contact/mod_support_contact.lua	Wed Apr 24 10:20:55 2013 +0200
@@ -7,14 +7,13 @@
 
 local host = module:get_host();
 
-local support_contact = module:get_option("support_contact") or "support@"..host;
-local support_contact_nick = module:get_option("support_contact_nick") or "Support";
-local support_contact_group = module:get_option("support_contact_group") or "Users";
+local support_contact = module:get_option_string("support_contact", "support@"..host);
+local support_contact_nick = module:get_option_string("support_contact_nick", "Support");
+local support_contact_group = module:get_option_string("support_contact_group", "Users");
 
 if not(support_contact and support_contact_nick) then return; end
 
 local rostermanager = require "core.rostermanager";
-local datamanager = require "util.datamanager";
 local jid_split = require "util.jid".split;
 local st = require "util.stanza";