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