1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

Fixes for mysqltest

This commit is contained in:
monty@donna.mysql.com
2001-01-15 22:56:44 +02:00
parent 432adefd31
commit 12d0f179cd
7 changed files with 70 additions and 36 deletions

View File

@ -588,11 +588,17 @@ run_testcase ()
if [ x$FORCE != x1 ] ; then
$ECHO "Aborting. To continue, re-run with '--force'."
$ECHO
mysql_stop
if [ -z "$DO_GDB" ] && [ -z "$USE_RUNNING_SERVER" ] && [ -z "$DO_DDD" ]
then
mysql_stop
fi
exit 1
fi
mysql_restart
if [ -z "$DO_GDB" ] && [ -z "$USE_RUNNING_SERVER" ] && [ -z "$DO_DDD" ]
then
mysql_restart
fi
$ECHO "Resuming Tests"
$ECHO ""
else