prosodyctl
changeset 6754 18f18bceb662
parent 6714 76683a3f3d75
child 6787 4da860edc27c
--- a/prosodyctl	Thu Jul 02 22:32:44 2015 +0200
+++ b/prosodyctl	Sun Jul 05 22:20:29 2015 +0200
@@ -841,7 +841,8 @@
 		});
 		local known_global_options = set.new({
 			"pidfile", "log", "plugin_paths", "prosody_user", "prosody_group", "daemonize",
-			"umask", "prosodyctl_timeout", "use_ipv6", "use_libevent", "network_settings"
+			"umask", "prosodyctl_timeout", "use_ipv6", "use_libevent", "network_settings",
+			"network_backend", "http_default_host",
 		});
 		local config = config.getconfig();
 		-- Check that we have any global options (caused by putting a host at the top)