From 4bff8359ef95523748cf5b92f455d1bd0e5d83e5 Mon Sep 17 00:00:00 2001
From: cvs <cvs>
Date: Wed, 29 Aug 2001 13:22:00 +0000
Subject: [PATCH 1/1] bugfixxes

---
 build.xml                     | 4 ++--
 source/config.properties-dist | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/build.xml b/build.xml
index 44c25496..2d7874cc 100755
--- a/build.xml
+++ b/build.xml
@@ -120,8 +120,8 @@
 -->
 
   <target name="javadoc" depends="prepare">
-    <javadoc packagenames="mir.*, webdb.*"
-	     sourcefiles="source/${app.name}.java"
+    <javadoc packagenames="mir.*, mircoders.*"
+	     sourcefiles="source/${app.name}.java,source/Open${app.name}.java"
 	     sourcepath="source"
              destdir="${javadoc.home}"/>
   </target>
diff --git a/source/config.properties-dist b/source/config.properties-dist
index 46383a3c..aeeded3c 100755
--- a/source/config.properties-dist
+++ b/source/config.properties-dist
@@ -65,7 +65,7 @@ Database.Host=localhost
 #
 # this sets the adaptor to be used
 
-Database.Adaptor=webdb.storage.DatabaseAdaptorPostgresql
+Database.Adaptor=mir.storage.DatabaseAdaptorPostgresql
 Database.Logfile=log/dbentity.log
 
 #
-- 
2.11.0