Remove config.webint_enabled

Depracted in favour of using config.webint_url in general. Just checks if it's defined, and if so, we'll consider it active and in use.
This commit is contained in:
skull132
2016-03-21 23:06:02 +02:00
parent e03eaa86a5
commit a5cb959166

View File

@@ -209,7 +209,6 @@ var/list/gamemode_cache = list()
var/aggressive_changelog = 0
//Web interface settings
var/webint_enabled = 0
var/webint_url = ""
/datum/configuration/New()
@@ -678,11 +677,8 @@ var/list/gamemode_cache = list()
if("show_auxiliary_roles")
config.show_auxiliary_roles = 1
if("use_webint")
config.webint_enabled = 1
if("webint_url")
config.webint_url = 1
config.webint_url = value
else
log_misc("Unknown setting in configuration: '[name]'")