moved default.properties from mir/etc to mir/source.

[mir.git] / source / mir / config / MirPropertiesConfiguration.java

diff --git a/source/mir/config/MirPropertiesConfiguration.java b/source/mir/config/MirPropertiesConfiguration.java
index 0d79aaf..56f1bb2 100755 (executable)
--- 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();
   }