| 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" |
