* Set ignoreCase to false for apps.properties. That way, case

in default application mountpoints is preserved.
This commit is contained in:
hns 2005-10-07 15:48:02 +00:00
parent 1c872e712c
commit 2a0524aa6b

View file

@ -451,11 +451,11 @@ public class Server implements IPathElement, Runnable {
File file;
if ((appsPropfile != null) && !"".equals(appsPropfile.trim())) {
file = new File(appsPropfile);
appsProps = new ResourceProperties();
} else {
file = new File(hopHome, "apps.properties");
appsProps = new ResourceProperties();
}
appsProps = new ResourceProperties();
appsProps.setIgnoreCase(false);
appsProps.addResource(new FileResource(file));
paranoid = "true".equalsIgnoreCase(sysProps.getProperty("paranoid"));