941
978
server_config.read(os.path.join(options.configdir, "mandos.conf"))
942
979
# Convert the SafeConfigParser object to a dict
943
980
server_settings = server_config.defaults()
951
993
# Override the settings from the config file with command line
953
995
for option in ("interface", "address", "port", "debug",
954
996
"priority", "servicename", "configdir",
956
998
value = getattr(options, option)
958
1000
server_settings[option] = value