# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1713268688 -3600
# Node ID 54b451c3790cf16792d253fe7006f6136a269016
# Parent  49b0873932ca9575d3a1f3486735d2c8d3806e95
mod_pubsub_serverinfo: Fix for compatibility with 0.12 option getters

diff -r 49b0873932ca -r 54b451c3790c mod_pubsub_serverinfo/mod_pubsub_serverinfo.lua
--- a/mod_pubsub_serverinfo/mod_pubsub_serverinfo.lua	Tue Apr 16 12:41:52 2024 +0100
+++ b/mod_pubsub_serverinfo/mod_pubsub_serverinfo.lua	Tue Apr 16 12:58:08 2024 +0100
@@ -5,10 +5,10 @@
 
 local local_domain = module:get_host();
 local service = module:get_option_string(module.name .. "_service");
-local node = module:get_option_integer(module.name .. "_node", "serverinfo");
+local node = module:get_option_number(module.name .. "_node", "serverinfo");
 local actor = module.host .. "/modules/" .. module.name;
-local publication_interval = module:get_option_integer(module.name .. "_publication_interval", 300);
-local cache_ttl = module:get_option_integer(module.name .. "_cache_ttl", 3600);
+local publication_interval = module:get_option_number(module.name .. "_publication_interval", 300);
+local cache_ttl = module:get_option_number(module.name .. "_cache_ttl", 3600);
 local public_providers_url = module:get_option_string(module.name.."_public_providers_url", "https://data.xmpp.net/providers/v2/providers-Ds.json");
 local delete_node_on_unload = module:get_option_boolean(module.name.."_delete_node_on_unload", false);
 local persist_items = module:get_option_boolean(module.name.."_persist_items", true);