From d76533a0c9baf305ca34390540bfd111359f29ee Mon Sep 17 00:00:00 2001
From: hns <hannesw@gmail.com>
Date: Mon, 29 Aug 2005 16:12:30 +0000
Subject: [PATCH] * Make main db.properties case sensitive.

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

diff --git a/src/helma/main/Server.java b/src/helma/main/Server.java
index a9e0f232..51bc5f2e 100644
--- a/src/helma/main/Server.java
+++ b/src/helma/main/Server.java
@@ -442,6 +442,7 @@ public class Server implements IPathElement, Runnable {
 
         // read db.properties file in helma home directory
         dbProps = new ResourceProperties();
+        dbProps.setIgnoreCase(false);
         dbProps.addResource(new FileResource(new File(hopHome, "db.properties")));
         DbSource.setDefaultProps(dbProps);