database/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00
Code Activity

Merge mysql.com:/space/my/mysql-4.0

Browse Source 
into mysql.com:/space/my/mysql-4.0-build
This commit is contained in:
lenz@mysql.com
2002-12-05 22:05:31 +01:00
parent 496a0e1630 192b37e339
commit 9bcc70df35
2 changed files with 55 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
support-files/mysql.server.sh
View File

@@ -174,9 +174,16 @@ case "$mode" in
fi
;;
'restart')
# Stop the service and regardless of whether it was
# running or not, start it again.
$0 stop
$0 start
;;
*)
# usage
echo "usage: $0 start|stop"
echo "Usage: $0 start|stop|restart"
exit 1
;;
esac