# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1545057255 -3600
# Node ID f31ed70c993adcb43808720d110e69c2b7b228b6
# Parent  0cfb7b3593eba575ad1d970d5bff31d97be1c2d1
prosodyctl check: Add statisticsmanager settings to known global options

diff -r 0cfb7b3593eb -r f31ed70c993a prosodyctl
--- a/prosodyctl	Sat Dec 15 11:55:27 2018 +0100
+++ b/prosodyctl	Mon Dec 17 15:34:15 2018 +0100
@@ -812,6 +812,7 @@
 			"pidfile", "log", "plugin_paths", "prosody_user", "prosody_group", "daemonize",
 			"umask", "prosodyctl_timeout", "use_ipv6", "use_libevent", "network_settings",
 			"network_backend", "http_default_host",
+			"statistics_interval", "statistics", "statistics_config",
 		});
 		local config = configmanager.getconfig();
 		-- Check that we have any global options (caused by putting a host at the top)