37 |
|
wget -nv ${HTTPSERVER}parser.jar; \ |
38 |
|
fi |
39 |
|
|
40 |
< |
if test -r "mysql.jar"; then \ |
41 |
< |
echo " mysql.jar found"; \ |
40 |
> |
if test -r "mm.mysql-2.0.2-bin.jar"; then \ |
41 |
> |
echo " mm.mysql-2.0.2-bin.jar found"; \ |
42 |
|
else \ |
43 |
< |
echo " mysql.jar not found, fetching from ${HTTPSERVER}mysql.jar"; \ |
44 |
< |
wget -nv ${HTTPSERVER}mysql.jar; \ |
43 |
> |
echo " mm.mysql-2.0.2-bin.jar not found, fetching from ${HTTPSERVER}mm.mysql-2.0.2-bin.jar"; \ |
44 |
> |
wget -nv ${HTTPSERVER}mm.mysql-2.0.2-bin.jar; \ |
45 |
|
fi |
46 |
|
|
47 |
|
echo "Checking for jacorb.properties" |