annotate frontends/src/tools/__init__.py @ 1900:d1615f79dfe8

core (tools/config): fixed fixConfigOption: C.DEFAULT_CONFIG was used so the default values were written if not set in the config file used, resulting in a overriding of values set in config files of higher level (e.g. ~/.config/sat/sat.conf could override /etc/sat.conf values).
author Goffi <goffi@goffi.org>
date Wed, 09 Mar 2016 12:11:35 +0100
parents 56aa0e98c92e
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source