From d781142af1711bb62284c31629e96d04e8fe07dd Mon Sep 17 00:00:00 2001
From: hns <hannesw@gmail.com>
Date: Fri, 14 Aug 2009 09:56:16 +0000
Subject: [PATCH] Add servletClass apps.properties option to make the servlet
 class customizable.

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

diff --git a/src/helma/main/ApplicationManager.java b/src/helma/main/ApplicationManager.java
index 75195703..620cd8a6 100644
--- a/src/helma/main/ApplicationManager.java
+++ b/src/helma/main/ApplicationManager.java
@@ -341,6 +341,7 @@ public class ApplicationManager implements XmlRpcHandler {
         String debug;
         boolean encode;
         Repository[] repositories;
+        String servletClassName;
 
         /**
          * extend apps.properties, add [appname].ignore
@@ -379,6 +380,7 @@ public class ApplicationManager implements XmlRpcHandler {
             appDir = (appDirName == null) ? null : getAbsoluteFile(appDirName);
             String dbDirName = conf.getProperty("dbdir");
             dbDir = (dbDirName == null) ? null : getAbsoluteFile(dbDirName);
+            servletClassName = conf.getProperty("servletClass");
 
             // got ignore dirs
             ignoreDirs = conf.getProperty("ignore");
@@ -533,8 +535,10 @@ public class ApplicationManager implements XmlRpcHandler {
                     }
 
                     ServletHandler handler = new ServletHandler();
+                    Class servletClass = servletClassName == null ?
+                            EmbeddedServletClient.class : Class.forName(servletClassName);
 
-                    ServletHolder holder = new ServletHolder(EmbeddedServletClient.class);
+                    ServletHolder holder = new ServletHolder(servletClass);
                     handler.addServletWithMapping(holder, "/*");
 
                     holder.setInitParameter("application", appName);