linefilterwriter: change in constructor / configuration: getPropWithHome

diff --git a/source/mir/misc/LineFilterWriter.java b/source/mir/misc/LineFilterWriter.java
index 960c29b..f3aedd6 100755 (executable)
--- a/source/mir/misc/LineFilterWriter.java
+++ b/source/mir/misc/LineFilterWriter.java
@@ -2,14 +2,17 @@ package mir.misc;
 import java.io.*;
 
 /**
- *  LineFilterWriter schneidet unsinnige \t \r \n ` ` raus
+ *  LineFilterWriter eliminates superfluous \t \r \n and spaces
+ *  and thus compresses the output of html
  *
  **/
-public final class LineFilterWriter extends PrintWriter{//extends java.io.FilterWriter{
+public final class LineFilterWriter extends PrintWriter{
 
+  protected Writer out;
 
   public LineFilterWriter(Writer out) {
     super(out);
+    this.out=out;
   }
 
   public final void write(String str){

diff --git a/source/mir/misc/MirConfig.java b/source/mir/misc/MirConfig.java
index 07676e7..7a58c94 100755 (executable)
--- a/source/mir/misc/MirConfig.java
+++ b/source/mir/misc/MirConfig.java
@@ -25,7 +25,7 @@ import  com.javaexchange.dbConnectionBroker.*;
  */
 
 public class MirConfig extends Configuration {
- 
+
   private static HashMap configHash = new HashMap();
   private static HashMap brokerHash = new HashMap();
   private static int      instances=0;
@@ -44,7 +44,7 @@ public class MirConfig extends Configuration {
     configHash.put("Home", home);
     configHash.put("RootUri", uri);
     configHash.put("ServletName", name);
-   
+
     Enumeration resKeys = getResourceKeys();
     while(resKeys.hasMoreElements()) {
       String keyNm = (String)resKeys.nextElement();
@@ -61,9 +61,19 @@ public class MirConfig extends Configuration {
     return (String)configHash.get(PropName);
   }
 
+  /**
+   * Returns the property asked for by pulling it out a HashMap and
+   * appending it to configproperty "Home"
+   * @param a String containing the property name (key)
+   * @return a String containing the prop.value
+   */
+  public static String getPropWithHome(String PropName) {
+    return (String)configHash.get("Home") +
+           (String)configHash.get(PropName);
+  }
+
   public static void addBroker(String driver, String URL){
 
-    System.err.println("--trying to add broker");
     String username,passwd,min,max,log,reset;
 
     if(!brokerHash.containsKey("Pool.broker")){