diff --git a/src/helma/main/Server.java b/src/helma/main/Server.java index 51bc5f2e..9afa97b6 100644 --- a/src/helma/main/Server.java +++ b/src/helma/main/Server.java @@ -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"));