From 55ab51da2540619b8efe26e0e05e977dc808083b Mon Sep 17 00:00:00 2001
From: hns <hannesw@gmail.com>
Date: Thu, 9 Mar 2006 13:07:54 +0000
Subject: [PATCH] * 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.

---
 src/helma/main/Server.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/helma/main/Server.java b/src/helma/main/Server.java
index 89499d9f..8bfa7f8c 100644
--- a/src/helma/main/Server.java
+++ b/src/helma/main/Server.java
@@ -455,7 +455,7 @@ public class Server implements IPathElement, Runnable {
             file = new File(hopHome, "apps.properties");
         }
         appsProps = new ResourceProperties();
-        appsProps.setIgnoreCase(false);
+        appsProps.setIgnoreCase(true);
         appsProps.addResource(new FileResource(file));
 
         paranoid = "true".equalsIgnoreCase(sysProps.getProperty("paranoid"));