From a5afdf09b21dafa5823defcf01000561b24e492d Mon Sep 17 00:00:00 2001
From: idfx <idfx>
Date: Fri, 28 Feb 2003 17:48:23 +0000
Subject: [PATCH] moved default.properties from mir/etc to mir/source. after
 calling ant the file is copied to Mir/WEB-INF.

---
 build.xml                                         | 6 ++++--
 {etc => source}/default.properties                | 0
 source/mir/config/MirPropertiesConfiguration.java | 2 +-
 3 files changed, 5 insertions(+), 3 deletions(-)
 rename {etc => source}/default.properties (100%)

diff --git a/build.xml b/build.xml
index 58d7591e..4939624a 100755
--- a/build.xml
+++ b/build.xml
@@ -138,11 +138,13 @@
     <copy todir="${deploy.webinf}/templates">
       <fileset dir="templates"/>
     </copy>
-
+    
+    <copy todir="${deploy.webinf}" file="source/default.properties" />
+    
     <copy todir="${deploy.classes}/bundles">
       <fileset dir="bundles"/>
     </copy>
-
+    
     <copy todir="${deploy.home}/WEB-INF/lib">
       <fileset dir="lib">
         <exclude name="ant.jar"/>
diff --git a/etc/default.properties b/source/default.properties
similarity index 100%
rename from etc/default.properties
rename to source/default.properties
diff --git a/source/mir/config/MirPropertiesConfiguration.java b/source/mir/config/MirPropertiesConfiguration.java
index 0d79aaf2..56f1bb24 100755
--- a/source/mir/config/MirPropertiesConfiguration.java
+++ b/source/mir/config/MirPropertiesConfiguration.java
@@ -72,7 +72,7 @@ public class MirPropertiesConfiguration extends PropertiesConfiguration {
   private MirPropertiesConfiguration(ServletContext ctx, String ctxPath)
     throws IOException {
     super(ctx.getRealPath("/WEB-INF/etc/") + "/config.properties",
-      ctx.getRealPath("/WEB-INF/etc/") + "/default.properties");
+      ctx.getRealPath("/WEB-INF/") + "/default.properties");
     addProperty("Home", ctx.getRealPath("/WEB-INF/") + "/");
     checkMissing();
   }
-- 
2.11.0