caseSensitiveCustomCategories must be set before loading the configuration file. (#3269)

Otherwise one set with categories in lowercase letters and on case sensitive
set is generated.
This commit is contained in:
mmehnert 2016-09-23 02:03:35 +02:00 committed by LexManos
parent d3ad8aed76
commit 4feb1dff50
1 changed files with 7 additions and 2 deletions

View File

@ -113,7 +113,7 @@ public class Configuration
/**
* Create a configuration file for the file given in parameter with the provided config version number.
*/
public Configuration(File file, String configVersion)
private void runConfiguration(File file, String configVersion)
{
this.file = file;
this.definedConfigVersion = configVersion;
@ -145,10 +145,15 @@ public class Configuration
}
}
public Configuration(File file, String configVersion)
{
runConfiguration(file, configVersion);
}
public Configuration(File file, String configVersion, boolean caseSensitiveCustomCategories)
{
this(file, configVersion);
this.caseSensitiveCustomCategories = caseSensitiveCustomCategories;
runConfiguration(file, configVersion);
}
public Configuration(File file, boolean caseSensitiveCustomCategories)