From 2a0524aa6b721adf3e16d31fa1a93af7368fa94d Mon Sep 17 00:00:00 2001
From: hns <hannesw@gmail.com>
Date: Fri, 7 Oct 2005 15:48:02 +0000
Subject: [PATCH] * Set ignoreCase to false for apps.properties. That way, case
   in default application mountpoints is preserved.

---
 src/helma/main/Server.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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"));