diff --git a/src/helma/util/SystemProperties.java b/src/helma/util/SystemProperties.java index c532e673..79377f40 100644 --- a/src/helma/util/SystemProperties.java +++ b/src/helma/util/SystemProperties.java @@ -49,22 +49,33 @@ public final class SystemProperties extends Properties { * Construct a properties object from a properties file. */ public SystemProperties(String filename) { - this(filename, null); + this(filename, null, true); } /** * Contstruct a properties object with the given default properties. */ public SystemProperties(SystemProperties defaultProps) { - this(null, defaultProps); + this(null, defaultProps, true); } /** - * Construct a properties object from a file name with the given default properties + * Construct a properties object from a file name with the given default properties (ignoring case) */ public SystemProperties(String filename, SystemProperties defaultProps) { + this(filename, defaultProps, true); + } + + /** + * Construct a properties object from a file name with the given default properties where ignoreCase is a boolean-flag + * @param filename Filename of the file to read in + * @param defaultProps Defaultproperties, which are overwritten by the content of the file + * @param ignoreCase if true, all properties are in lower case, if false the case will be preserved + */ + public SystemProperties(String filename, SystemProperties defaultProps, boolean ignoreCase) { // System.err.println ("building sysprops with file "+filename+" and node "+node); super(defaultProps); + this.ignoreCase = ignoreCase; this.defaultProps = defaultProps; file = (filename == null) ? null : new File(filename); lastcheck = lastread = lastadd = 0;