--- projects/cms/source/server/configure	2001/01/16 01:11:57	1.3
+++ projects/cms/source/server/configure	2001/01/22 21:18:34	1.5
@@ -37,6 +37,13 @@ else \
   wget -nv ${HTTPSERVER}parser.jar; \
 fi
 
+if test -r "mm.mysql-2.0.2-bin.jar"; then \
+  echo "  mm.mysql-2.0.2-bin.jar found"; \
+else \
+  echo "  mm.mysql-2.0.2-bin.jar not found, fetching from ${HTTPSERVER}mm.mysql-2.0.2-bin.jar"; \
+  wget -nv ${HTTPSERVER}mm.mysql-2.0.2-bin.jar; \
+fi
+
 echo "Checking for jacorb.properties"
 cd ${HOME}
 if test -r "jacorb.properties"; then \