# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1436127629 -7200
# Node ID 18f18bceb66226c3f224060c65b0025682899541
# Parent  ccf4fcfc202415d4437bd77de2387425efca6952
prosodyctl: check: Add some more known global config options

diff -r ccf4fcfc2024 -r 18f18bceb662 prosodyctl
--- 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)