804 end |
804 end |
805 if not what or what == "config" then |
805 if not what or what == "config" then |
806 print("Checking config..."); |
806 print("Checking config..."); |
807 local deprecated = set.new({ |
807 local deprecated = set.new({ |
808 "bosh_ports", "disallow_s2s", "no_daemonize", "anonymous_login", "require_encryption", |
808 "bosh_ports", "disallow_s2s", "no_daemonize", "anonymous_login", "require_encryption", |
809 "vcard_compatibility", |
809 "vcard_compatibility", "cross_domain_bosh", |
810 }); |
810 }); |
811 local known_global_options = set.new({ |
811 local known_global_options = set.new({ |
812 "pidfile", "log", "plugin_paths", "prosody_user", "prosody_group", "daemonize", |
812 "pidfile", "log", "plugin_paths", "prosody_user", "prosody_group", "daemonize", |
813 "umask", "prosodyctl_timeout", "use_ipv6", "use_libevent", "network_settings", |
813 "umask", "prosodyctl_timeout", "use_ipv6", "use_libevent", "network_settings", |
814 "network_backend", "http_default_host", |
814 "network_backend", "http_default_host", |