2999
3007
# Parse config file for server-global settings
3002
3010
server_config.read(os.path.join(options.configdir, "mandos.conf"))
3004
3012
server_settings = server_config.defaults()
3005
3013
# Use the appropriate methods on the non-string config options
3006
3014
for option in ("debug", "use_dbus", "use_ipv6", "restore",