mirror of
https://github.com/MariaDB/server.git
synced 2026-05-06 23:25:34 +02:00
Merge with 4.0.17
This commit is contained in:
commit
e0cc6799ec
152 changed files with 2776 additions and 1235 deletions
|
|
@ -11,6 +11,13 @@
|
|||
# Written by Lenz Grimmer <lenz@mysql.com>
|
||||
#
|
||||
|
||||
# Suppress the annoying "$1: unbound variable" error when no option
|
||||
# was given
|
||||
if [ -z $1 ] ; then
|
||||
echo "Usage: $0 [start|stop|restart] "
|
||||
exit 1
|
||||
fi
|
||||
|
||||
# Source the common setup functions for startup scripts
|
||||
test -r /etc/rc.common || exit 1
|
||||
. /etc/rc.common
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue