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