From 092cb230c0eabc01f298622f8c49911d01786b19 Mon Sep 17 00:00:00 2001
From: hns <hannesw@gmail.com>
Date: Tue, 5 Aug 2003 15:54:29 +0000
Subject: [PATCH] Allow upper case characters in app names by interpreting the
 property value as app name in apps.properties, if it is defined.

---
 src/helma/main/ApplicationManager.java | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/helma/main/ApplicationManager.java b/src/helma/main/ApplicationManager.java
index 87ebbde2..d8fd62a0 100644
--- a/src/helma/main/ApplicationManager.java
+++ b/src/helma/main/ApplicationManager.java
@@ -150,6 +150,12 @@ public class ApplicationManager implements XmlRpcHandler {
                 String appName = (String) e.nextElement();
 
                 if (appName.indexOf(".") == -1) {
+                    String appValue = props.getProperty(appName);
+
+                    if (appValue != null && appValue.length() > 0) {
+                        appName = appValue;
+                    }
+
                     AppDescriptor desc = new AppDescriptor(appName);
                     desc.start();
                 }