* Make apps.properties case insensitive again. The benefit of preserving case in default

mountpoint just isn't worth the whole number of hard to debug case errors.
This commit is contained in:
hns 2006-03-09 13:07:54 +00:00
parent f6fe185e30
commit 55ab51da25

View file

@ -455,7 +455,7 @@ public class Server implements IPathElement, Runnable {
file = new File(hopHome, "apps.properties"); file = new File(hopHome, "apps.properties");
} }
appsProps = new ResourceProperties(); appsProps = new ResourceProperties();
appsProps.setIgnoreCase(false); appsProps.setIgnoreCase(true);
appsProps.addResource(new FileResource(file)); appsProps.addResource(new FileResource(file));
paranoid = "true".equalsIgnoreCase(sysProps.getProperty("paranoid")); paranoid = "true".equalsIgnoreCase(sysProps.getProperty("paranoid"));