# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1643997872 -3600
# Node ID a52a0680fcd812edb9a42ee91428777750d67eb5
# Parent  24b0c4c4e28a8ccf02e907dd9204c6eac10dc347
prosodyctl: Allow passing server on command line with --server

Because why not I guess. This mirrors the corresponding luarocks command

diff -r 24b0c4c4e28a -r a52a0680fcd8 prosodyctl
--- 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