# HG changeset patch # User Kim Alvefur # Date 1538430370 -7200 # Node ID 8e7feec95e8d8bf445639e0029f8cebb52140781 # Parent 460f08008521d58546ee49a95a7d97b86a0755ef mod_server_contact_info: Comment on fallback to using 'admins' diff -r 460f08008521 -r 8e7feec95e8d plugins/mod_server_contact_info.lua --- a/plugins/mod_server_contact_info.lua Mon Oct 01 16:23:57 2018 +0100 +++ b/plugins/mod_server_contact_info.lua Mon Oct 01 23:46:10 2018 +0200 @@ -19,6 +19,7 @@ { name = "support", var = "support-addresses", type = "list-multi" }, }); +-- JIDs of configured service admins are used as fallback local admins = module:get_option_inherited_set("admins", {}); local contact_config = module:get_option("contact_info", {