# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1619814014 -3600
# Node ID 10bea0941bab232a86dbb302dbd6c166db049954
# Parent  549c80feede6135770b2967f12919bed993286da
prosodyctl: check config: Add 'gc' to list of global options

diff -r 549c80feede6 -r 10bea0941bab prosodyctl
--- a/prosodyctl	Thu Mar 18 16:16:54 2021 +0100
+++ b/prosodyctl	Fri Apr 30 21:20:14 2021 +0100
@@ -837,7 +837,7 @@
 		local known_global_options = set.new({
 			"pidfile", "log", "plugin_paths", "prosody_user", "prosody_group", "daemonize",
 			"umask", "prosodyctl_timeout", "use_ipv6", "use_libevent", "network_settings",
-			"network_backend", "http_default_host",
+			"network_backend", "http_default_host", "gc",
 			"statistics_interval", "statistics", "statistics_config",
 		});
 		local config = configmanager.getconfig();