prosodyctl
changeset 9799 02735bc82126
parent 9798 4b5c24f13d4a
child 9802 7ce7ee9cd1c5
--- a/prosodyctl	Thu Oct 04 12:23:06 2018 +0200
+++ b/prosodyctl	Thu Oct 04 12:24:08 2018 +0200
@@ -806,7 +806,7 @@
 		print("Checking config...");
 		local deprecated = set.new({
 			"bosh_ports", "disallow_s2s", "no_daemonize", "anonymous_login", "require_encryption",
-			"vcard_compatibility", "cross_domain_bosh",
+			"vcard_compatibility", "cross_domain_bosh", "cross_domain_websocket"
 		});
 		local known_global_options = set.new({
 			"pidfile", "log", "plugin_paths", "prosody_user", "prosody_group", "daemonize",