940
977
server_config.read(os.path.join(options.configdir, "mandos.conf"))
941
978
# Convert the SafeConfigParser object to a dict
942
979
server_settings = server_config.defaults()
950
992
# Override the settings from the config file with command line
952
994
for option in ("interface", "address", "port", "debug",
953
995
"priority", "servicename", "configdir",
955
997
value = getattr(options, option)
957
999
server_settings[option] = value