prosodyctl
changeset 12271 a52a0680fcd8
parent 12270 24b0c4c4e28a
child 12296 7fe5cd8a10e2
--- a/prosodyctl	Fri Feb 04 19:03:02 2022 +0100
+++ b/prosodyctl	Fri Feb 04 19:04:32 2022 +0100
@@ -83,7 +83,7 @@
 		return opts.help and 0 or 1;
 	end
 	-- TODO finalize config option name
-	local server = configmanager.get("*", "plugin_server");
+	local server = opts.server or configmanager.get("*", "plugin_server");
 	if not (arg[1]:match("^https://") or lfs.attributes(arg[1]) or server) then
 		show_warning("There is no 'plugin_server' option in the configuration file");
 		-- see https://prosody.im/doc/TODO documentation