1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

post-merge fixes

This commit is contained in:
gluh@gluh.mysql.r18.ru
2003-12-08 09:44:04 +04:00
14 changed files with 278 additions and 14 deletions

View File

@ -805,7 +805,7 @@ manager_launch()
ident=$1
shift
if [ $USE_MANAGER = 0 ] ; then
$@ >> $CUR_MYERR 2>&1 &
echo $@ | /bin/sh >> $CUR_MYERR 2>&1 &
sleep 2 #hack
return
fi