Merge branch 'edi-expl' into edi-expl_update1295coordinates

Dennis Ried · Dennis Ried · commit a880dad3f8f2 · 2022-02-21T18:22:21.000+01:00
diff --git a/build.xml b/build.xml
@@ -4,7 +4,7 @@
     
     <!-- where to find eXist-dist for auto deploy -->
     <property name="exist5.libs" value="/Users/opt/exist-distribution-5.3.1/lib"/>
-    <property name="exist.db" value="xmldb:exist://localhost:8070/exist/xmlrpc/db"/>
+    <property name="exist.db" value="xmldb:exist://localhost:8080/exist/xmlrpc/db"/>
     <property name="exist.user" value="admin"/>
     <property name="exist.pass" value=""/>
     
