Changeset 12315

Timestamp:

10/28/11 19:58:05 (13 years ago)

Author:

tbretz

Message:

Make sure that the default option gets touched even it is finally not needed.

File:

• trunk/FACT++/src/Configuration.h (modified) (1 diff)

trunk/FACT++/src/Configuration.h

@@ -178 +178 @@
     bool HasDef(const std::string &var, const T &val)
     {
-        return Has(var, val) ? true : Has(var+"default");
+        // Make sure the .default option is touched
+        const bool rc = Has(var+"default");
+
+        return Has(var, val) ? true : rc;
     }
 /*