diff options
author | dirk <dirk@FreeBSD.org> | 2002-11-11 04:24:24 +0800 |
---|---|---|
committer | dirk <dirk@FreeBSD.org> | 2002-11-11 04:24:24 +0800 |
commit | f57c71b1ef568c1b83c4a908b941a12c8dfed1b2 (patch) | |
tree | be86fee7c25818b7ace400a2676a3214498a0ae4 /databases | |
parent | e30bda0e8f25a992849c40794c820066b6cf526e (diff) | |
download | freebsd-ports-gnome-f57c71b1ef568c1b83c4a908b941a12c8dfed1b2.tar.gz freebsd-ports-gnome-f57c71b1ef568c1b83c4a908b941a12c8dfed1b2.tar.zst freebsd-ports-gnome-f57c71b1ef568c1b83c4a908b941a12c8dfed1b2.zip |
Only kill mysqld we started. Don't kill all mysqld.
Submitted by: sobomax (modified by me a bit)
Diffstat (limited to 'databases')
-rw-r--r-- | databases/mysql323-server/Makefile | 4 | ||||
-rw-r--r-- | databases/mysql323-server/files/mysql-server.sh | 11 | ||||
-rw-r--r-- | databases/mysql40-server/Makefile | 4 | ||||
-rw-r--r-- | databases/mysql40-server/files/mysql-server.sh | 11 | ||||
-rw-r--r-- | databases/mysql41-server/Makefile | 4 | ||||
-rw-r--r-- | databases/mysql41-server/files/mysql-server.sh | 11 | ||||
-rw-r--r-- | databases/mysql50-server/Makefile | 4 | ||||
-rw-r--r-- | databases/mysql50-server/files/mysql-server.sh | 11 | ||||
-rw-r--r-- | databases/mysql51-server/Makefile | 4 | ||||
-rw-r--r-- | databases/mysql51-server/files/mysql-server.sh | 11 | ||||
-rw-r--r-- | databases/mysql54-server/Makefile | 4 | ||||
-rw-r--r-- | databases/mysql54-server/files/mysql-server.sh | 11 | ||||
-rw-r--r-- | databases/mysql55-server/Makefile | 4 | ||||
-rw-r--r-- | databases/mysql55-server/files/mysql-server.sh | 11 | ||||
-rw-r--r-- | databases/mysql60-server/Makefile | 4 | ||||
-rw-r--r-- | databases/mysql60-server/files/mysql-server.sh | 11 | ||||
-rw-r--r-- | databases/percona55-server/Makefile | 4 | ||||
-rw-r--r-- | databases/percona55-server/files/mysql-server.sh | 11 |
18 files changed, 99 insertions, 36 deletions
diff --git a/databases/mysql323-server/Makefile b/databases/mysql323-server/Makefile index fa666aeab4b7..5011bb848da1 100644 --- a/databases/mysql323-server/Makefile +++ b/databases/mysql323-server/Makefile @@ -7,7 +7,7 @@ PORTNAME?= ${MASTERPORTNAME} PORTVERSION= 3.23.53 -PORTREVISION?= 0 +PORTREVISION?= 1 CATEGORIES= databases MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} \ http://www.kernelnotes.de/MySQL/Downloads/MySQL-3.23/ \ @@ -136,7 +136,7 @@ post-install: .endif @${SETENV} DB_DIR=${DB_DIR} ${SH} ${PKGINSTALL} ${PKGNAME} POST-INSTALL .endif - @${SED} "s|%%PREFIX%%|${PREFIX}|g" < ${FILESDIR}/mysql-server.sh > ${PREFIX}/etc/rc.d/mysql-server.sh + @${SED} "s|%%PREFIX%%|${PREFIX}|g; s|%%DB_DIR%%|${DB_DIR}|g" < ${FILESDIR}/mysql-server.sh > ${PREFIX}/etc/rc.d/mysql-server.sh @${CHMOD} 750 ${PREFIX}/etc/rc.d/mysql-server.sh .if !defined(NOPORTDOCS) diff --git a/databases/mysql323-server/files/mysql-server.sh b/databases/mysql323-server/files/mysql-server.sh index 6cc4f30ee2df..f22cbd0c8235 100644 --- a/databases/mysql323-server/files/mysql-server.sh +++ b/databases/mysql323-server/files/mysql-server.sh @@ -1,14 +1,21 @@ #!/bin/sh +DB_DIR=%%DB_DIR%% +PIDFILE=${DB_DIR}/`/bin/hostname -s`.pid + case "$1" in start) if [ -x %%PREFIX%%/bin/safe_mysqld ]; then - %%PREFIX%%/bin/safe_mysqld --user=mysql > /dev/null & + %%PREFIX%%/bin/safe_mysqld --user=mysql --datadir=${DB_DIR} --pid-file=${PIDFILE} > /dev/null & echo -n ' mysqld' fi ;; stop) - /usr/bin/killall mysqld > /dev/null 2>&1 && echo -n ' mysqld' + if [ -f ${PIDFILE} ]; then + /bin/kill `cat ${PIDFILE}` > /dev/null 2>&1 && echo -n ' mysqld' + else + echo "mysql-server isn't running" + fi ;; *) echo "" diff --git a/databases/mysql40-server/Makefile b/databases/mysql40-server/Makefile index fa666aeab4b7..5011bb848da1 100644 --- a/databases/mysql40-server/Makefile +++ b/databases/mysql40-server/Makefile @@ -7,7 +7,7 @@ PORTNAME?= ${MASTERPORTNAME} PORTVERSION= 3.23.53 -PORTREVISION?= 0 +PORTREVISION?= 1 CATEGORIES= databases MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} \ http://www.kernelnotes.de/MySQL/Downloads/MySQL-3.23/ \ @@ -136,7 +136,7 @@ post-install: .endif @${SETENV} DB_DIR=${DB_DIR} ${SH} ${PKGINSTALL} ${PKGNAME} POST-INSTALL .endif - @${SED} "s|%%PREFIX%%|${PREFIX}|g" < ${FILESDIR}/mysql-server.sh > ${PREFIX}/etc/rc.d/mysql-server.sh + @${SED} "s|%%PREFIX%%|${PREFIX}|g; s|%%DB_DIR%%|${DB_DIR}|g" < ${FILESDIR}/mysql-server.sh > ${PREFIX}/etc/rc.d/mysql-server.sh @${CHMOD} 750 ${PREFIX}/etc/rc.d/mysql-server.sh .if !defined(NOPORTDOCS) diff --git a/databases/mysql40-server/files/mysql-server.sh b/databases/mysql40-server/files/mysql-server.sh index 6cc4f30ee2df..f22cbd0c8235 100644 --- a/databases/mysql40-server/files/mysql-server.sh +++ b/databases/mysql40-server/files/mysql-server.sh @@ -1,14 +1,21 @@ #!/bin/sh +DB_DIR=%%DB_DIR%% +PIDFILE=${DB_DIR}/`/bin/hostname -s`.pid + case "$1" in start) if [ -x %%PREFIX%%/bin/safe_mysqld ]; then - %%PREFIX%%/bin/safe_mysqld --user=mysql > /dev/null & + %%PREFIX%%/bin/safe_mysqld --user=mysql --datadir=${DB_DIR} --pid-file=${PIDFILE} > /dev/null & echo -n ' mysqld' fi ;; stop) - /usr/bin/killall mysqld > /dev/null 2>&1 && echo -n ' mysqld' + if [ -f ${PIDFILE} ]; then + /bin/kill `cat ${PIDFILE}` > /dev/null 2>&1 && echo -n ' mysqld' + else + echo "mysql-server isn't running" + fi ;; *) echo "" diff --git a/databases/mysql41-server/Makefile b/databases/mysql41-server/Makefile index fa666aeab4b7..5011bb848da1 100644 --- a/databases/mysql41-server/Makefile +++ b/databases/mysql41-server/Makefile @@ -7,7 +7,7 @@ PORTNAME?= ${MASTERPORTNAME} PORTVERSION= 3.23.53 -PORTREVISION?= 0 +PORTREVISION?= 1 CATEGORIES= databases MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} \ http://www.kernelnotes.de/MySQL/Downloads/MySQL-3.23/ \ @@ -136,7 +136,7 @@ post-install: .endif @${SETENV} DB_DIR=${DB_DIR} ${SH} ${PKGINSTALL} ${PKGNAME} POST-INSTALL .endif - @${SED} "s|%%PREFIX%%|${PREFIX}|g" < ${FILESDIR}/mysql-server.sh > ${PREFIX}/etc/rc.d/mysql-server.sh + @${SED} "s|%%PREFIX%%|${PREFIX}|g; s|%%DB_DIR%%|${DB_DIR}|g" < ${FILESDIR}/mysql-server.sh > ${PREFIX}/etc/rc.d/mysql-server.sh @${CHMOD} 750 ${PREFIX}/etc/rc.d/mysql-server.sh .if !defined(NOPORTDOCS) diff --git a/databases/mysql41-server/files/mysql-server.sh b/databases/mysql41-server/files/mysql-server.sh index 6cc4f30ee2df..f22cbd0c8235 100644 --- a/databases/mysql41-server/files/mysql-server.sh +++ b/databases/mysql41-server/files/mysql-server.sh @@ -1,14 +1,21 @@ #!/bin/sh +DB_DIR=%%DB_DIR%% +PIDFILE=${DB_DIR}/`/bin/hostname -s`.pid + case "$1" in start) if [ -x %%PREFIX%%/bin/safe_mysqld ]; then - %%PREFIX%%/bin/safe_mysqld --user=mysql > /dev/null & + %%PREFIX%%/bin/safe_mysqld --user=mysql --datadir=${DB_DIR} --pid-file=${PIDFILE} > /dev/null & echo -n ' mysqld' fi ;; stop) - /usr/bin/killall mysqld > /dev/null 2>&1 && echo -n ' mysqld' + if [ -f ${PIDFILE} ]; then + /bin/kill `cat ${PIDFILE}` > /dev/null 2>&1 && echo -n ' mysqld' + else + echo "mysql-server isn't running" + fi ;; *) echo "" diff --git a/databases/mysql50-server/Makefile b/databases/mysql50-server/Makefile index fa666aeab4b7..5011bb848da1 100644 --- a/databases/mysql50-server/Makefile +++ b/databases/mysql50-server/Makefile @@ -7,7 +7,7 @@ PORTNAME?= ${MASTERPORTNAME} PORTVERSION= 3.23.53 -PORTREVISION?= 0 +PORTREVISION?= 1 CATEGORIES= databases MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} \ http://www.kernelnotes.de/MySQL/Downloads/MySQL-3.23/ \ @@ -136,7 +136,7 @@ post-install: .endif @${SETENV} DB_DIR=${DB_DIR} ${SH} ${PKGINSTALL} ${PKGNAME} POST-INSTALL .endif - @${SED} "s|%%PREFIX%%|${PREFIX}|g" < ${FILESDIR}/mysql-server.sh > ${PREFIX}/etc/rc.d/mysql-server.sh + @${SED} "s|%%PREFIX%%|${PREFIX}|g; s|%%DB_DIR%%|${DB_DIR}|g" < ${FILESDIR}/mysql-server.sh > ${PREFIX}/etc/rc.d/mysql-server.sh @${CHMOD} 750 ${PREFIX}/etc/rc.d/mysql-server.sh .if !defined(NOPORTDOCS) diff --git a/databases/mysql50-server/files/mysql-server.sh b/databases/mysql50-server/files/mysql-server.sh index 6cc4f30ee2df..f22cbd0c8235 100644 --- a/databases/mysql50-server/files/mysql-server.sh +++ b/databases/mysql50-server/files/mysql-server.sh @@ -1,14 +1,21 @@ #!/bin/sh +DB_DIR=%%DB_DIR%% +PIDFILE=${DB_DIR}/`/bin/hostname -s`.pid + case "$1" in start) if [ -x %%PREFIX%%/bin/safe_mysqld ]; then - %%PREFIX%%/bin/safe_mysqld --user=mysql > /dev/null & + %%PREFIX%%/bin/safe_mysqld --user=mysql --datadir=${DB_DIR} --pid-file=${PIDFILE} > /dev/null & echo -n ' mysqld' fi ;; stop) - /usr/bin/killall mysqld > /dev/null 2>&1 && echo -n ' mysqld' + if [ -f ${PIDFILE} ]; then + /bin/kill `cat ${PIDFILE}` > /dev/null 2>&1 && echo -n ' mysqld' + else + echo "mysql-server isn't running" + fi ;; *) echo "" diff --git a/databases/mysql51-server/Makefile b/databases/mysql51-server/Makefile index fa666aeab4b7..5011bb848da1 100644 --- a/databases/mysql51-server/Makefile +++ b/databases/mysql51-server/Makefile @@ -7,7 +7,7 @@ PORTNAME?= ${MASTERPORTNAME} PORTVERSION= 3.23.53 -PORTREVISION?= 0 +PORTREVISION?= 1 CATEGORIES= databases MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} \ http://www.kernelnotes.de/MySQL/Downloads/MySQL-3.23/ \ @@ -136,7 +136,7 @@ post-install: .endif @${SETENV} DB_DIR=${DB_DIR} ${SH} ${PKGINSTALL} ${PKGNAME} POST-INSTALL .endif - @${SED} "s|%%PREFIX%%|${PREFIX}|g" < ${FILESDIR}/mysql-server.sh > ${PREFIX}/etc/rc.d/mysql-server.sh + @${SED} "s|%%PREFIX%%|${PREFIX}|g; s|%%DB_DIR%%|${DB_DIR}|g" < ${FILESDIR}/mysql-server.sh > ${PREFIX}/etc/rc.d/mysql-server.sh @${CHMOD} 750 ${PREFIX}/etc/rc.d/mysql-server.sh .if !defined(NOPORTDOCS) diff --git a/databases/mysql51-server/files/mysql-server.sh b/databases/mysql51-server/files/mysql-server.sh index 6cc4f30ee2df..f22cbd0c8235 100644 --- a/databases/mysql51-server/files/mysql-server.sh +++ b/databases/mysql51-server/files/mysql-server.sh @@ -1,14 +1,21 @@ #!/bin/sh +DB_DIR=%%DB_DIR%% +PIDFILE=${DB_DIR}/`/bin/hostname -s`.pid + case "$1" in start) if [ -x %%PREFIX%%/bin/safe_mysqld ]; then - %%PREFIX%%/bin/safe_mysqld --user=mysql > /dev/null & + %%PREFIX%%/bin/safe_mysqld --user=mysql --datadir=${DB_DIR} --pid-file=${PIDFILE} > /dev/null & echo -n ' mysqld' fi ;; stop) - /usr/bin/killall mysqld > /dev/null 2>&1 && echo -n ' mysqld' + if [ -f ${PIDFILE} ]; then + /bin/kill `cat ${PIDFILE}` > /dev/null 2>&1 && echo -n ' mysqld' + else + echo "mysql-server isn't running" + fi ;; *) echo "" diff --git a/databases/mysql54-server/Makefile b/databases/mysql54-server/Makefile index fa666aeab4b7..5011bb848da1 100644 --- a/databases/mysql54-server/Makefile +++ b/databases/mysql54-server/Makefile @@ -7,7 +7,7 @@ PORTNAME?= ${MASTERPORTNAME} PORTVERSION= 3.23.53 -PORTREVISION?= 0 +PORTREVISION?= 1 CATEGORIES= databases MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} \ http://www.kernelnotes.de/MySQL/Downloads/MySQL-3.23/ \ @@ -136,7 +136,7 @@ post-install: .endif @${SETENV} DB_DIR=${DB_DIR} ${SH} ${PKGINSTALL} ${PKGNAME} POST-INSTALL .endif - @${SED} "s|%%PREFIX%%|${PREFIX}|g" < ${FILESDIR}/mysql-server.sh > ${PREFIX}/etc/rc.d/mysql-server.sh + @${SED} "s|%%PREFIX%%|${PREFIX}|g; s|%%DB_DIR%%|${DB_DIR}|g" < ${FILESDIR}/mysql-server.sh > ${PREFIX}/etc/rc.d/mysql-server.sh @${CHMOD} 750 ${PREFIX}/etc/rc.d/mysql-server.sh .if !defined(NOPORTDOCS) diff --git a/databases/mysql54-server/files/mysql-server.sh b/databases/mysql54-server/files/mysql-server.sh index 6cc4f30ee2df..f22cbd0c8235 100644 --- a/databases/mysql54-server/files/mysql-server.sh +++ b/databases/mysql54-server/files/mysql-server.sh @@ -1,14 +1,21 @@ #!/bin/sh +DB_DIR=%%DB_DIR%% +PIDFILE=${DB_DIR}/`/bin/hostname -s`.pid + case "$1" in start) if [ -x %%PREFIX%%/bin/safe_mysqld ]; then - %%PREFIX%%/bin/safe_mysqld --user=mysql > /dev/null & + %%PREFIX%%/bin/safe_mysqld --user=mysql --datadir=${DB_DIR} --pid-file=${PIDFILE} > /dev/null & echo -n ' mysqld' fi ;; stop) - /usr/bin/killall mysqld > /dev/null 2>&1 && echo -n ' mysqld' + if [ -f ${PIDFILE} ]; then + /bin/kill `cat ${PIDFILE}` > /dev/null 2>&1 && echo -n ' mysqld' + else + echo "mysql-server isn't running" + fi ;; *) echo "" diff --git a/databases/mysql55-server/Makefile b/databases/mysql55-server/Makefile index fa666aeab4b7..5011bb848da1 100644 --- a/databases/mysql55-server/Makefile +++ b/databases/mysql55-server/Makefile @@ -7,7 +7,7 @@ PORTNAME?= ${MASTERPORTNAME} PORTVERSION= 3.23.53 -PORTREVISION?= 0 +PORTREVISION?= 1 CATEGORIES= databases MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} \ http://www.kernelnotes.de/MySQL/Downloads/MySQL-3.23/ \ @@ -136,7 +136,7 @@ post-install: .endif @${SETENV} DB_DIR=${DB_DIR} ${SH} ${PKGINSTALL} ${PKGNAME} POST-INSTALL .endif - @${SED} "s|%%PREFIX%%|${PREFIX}|g" < ${FILESDIR}/mysql-server.sh > ${PREFIX}/etc/rc.d/mysql-server.sh + @${SED} "s|%%PREFIX%%|${PREFIX}|g; s|%%DB_DIR%%|${DB_DIR}|g" < ${FILESDIR}/mysql-server.sh > ${PREFIX}/etc/rc.d/mysql-server.sh @${CHMOD} 750 ${PREFIX}/etc/rc.d/mysql-server.sh .if !defined(NOPORTDOCS) diff --git a/databases/mysql55-server/files/mysql-server.sh b/databases/mysql55-server/files/mysql-server.sh index 6cc4f30ee2df..f22cbd0c8235 100644 --- a/databases/mysql55-server/files/mysql-server.sh +++ b/databases/mysql55-server/files/mysql-server.sh @@ -1,14 +1,21 @@ #!/bin/sh +DB_DIR=%%DB_DIR%% +PIDFILE=${DB_DIR}/`/bin/hostname -s`.pid + case "$1" in start) if [ -x %%PREFIX%%/bin/safe_mysqld ]; then - %%PREFIX%%/bin/safe_mysqld --user=mysql > /dev/null & + %%PREFIX%%/bin/safe_mysqld --user=mysql --datadir=${DB_DIR} --pid-file=${PIDFILE} > /dev/null & echo -n ' mysqld' fi ;; stop) - /usr/bin/killall mysqld > /dev/null 2>&1 && echo -n ' mysqld' + if [ -f ${PIDFILE} ]; then + /bin/kill `cat ${PIDFILE}` > /dev/null 2>&1 && echo -n ' mysqld' + else + echo "mysql-server isn't running" + fi ;; *) echo "" diff --git a/databases/mysql60-server/Makefile b/databases/mysql60-server/Makefile index fa666aeab4b7..5011bb848da1 100644 --- a/databases/mysql60-server/Makefile +++ b/databases/mysql60-server/Makefile @@ -7,7 +7,7 @@ PORTNAME?= ${MASTERPORTNAME} PORTVERSION= 3.23.53 -PORTREVISION?= 0 +PORTREVISION?= 1 CATEGORIES= databases MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} \ http://www.kernelnotes.de/MySQL/Downloads/MySQL-3.23/ \ @@ -136,7 +136,7 @@ post-install: .endif @${SETENV} DB_DIR=${DB_DIR} ${SH} ${PKGINSTALL} ${PKGNAME} POST-INSTALL .endif - @${SED} "s|%%PREFIX%%|${PREFIX}|g" < ${FILESDIR}/mysql-server.sh > ${PREFIX}/etc/rc.d/mysql-server.sh + @${SED} "s|%%PREFIX%%|${PREFIX}|g; s|%%DB_DIR%%|${DB_DIR}|g" < ${FILESDIR}/mysql-server.sh > ${PREFIX}/etc/rc.d/mysql-server.sh @${CHMOD} 750 ${PREFIX}/etc/rc.d/mysql-server.sh .if !defined(NOPORTDOCS) diff --git a/databases/mysql60-server/files/mysql-server.sh b/databases/mysql60-server/files/mysql-server.sh index 6cc4f30ee2df..f22cbd0c8235 100644 --- a/databases/mysql60-server/files/mysql-server.sh +++ b/databases/mysql60-server/files/mysql-server.sh @@ -1,14 +1,21 @@ #!/bin/sh +DB_DIR=%%DB_DIR%% +PIDFILE=${DB_DIR}/`/bin/hostname -s`.pid + case "$1" in start) if [ -x %%PREFIX%%/bin/safe_mysqld ]; then - %%PREFIX%%/bin/safe_mysqld --user=mysql > /dev/null & + %%PREFIX%%/bin/safe_mysqld --user=mysql --datadir=${DB_DIR} --pid-file=${PIDFILE} > /dev/null & echo -n ' mysqld' fi ;; stop) - /usr/bin/killall mysqld > /dev/null 2>&1 && echo -n ' mysqld' + if [ -f ${PIDFILE} ]; then + /bin/kill `cat ${PIDFILE}` > /dev/null 2>&1 && echo -n ' mysqld' + else + echo "mysql-server isn't running" + fi ;; *) echo "" diff --git a/databases/percona55-server/Makefile b/databases/percona55-server/Makefile index fa666aeab4b7..5011bb848da1 100644 --- a/databases/percona55-server/Makefile +++ b/databases/percona55-server/Makefile @@ -7,7 +7,7 @@ PORTNAME?= ${MASTERPORTNAME} PORTVERSION= 3.23.53 -PORTREVISION?= 0 +PORTREVISION?= 1 CATEGORIES= databases MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} \ http://www.kernelnotes.de/MySQL/Downloads/MySQL-3.23/ \ @@ -136,7 +136,7 @@ post-install: .endif @${SETENV} DB_DIR=${DB_DIR} ${SH} ${PKGINSTALL} ${PKGNAME} POST-INSTALL .endif - @${SED} "s|%%PREFIX%%|${PREFIX}|g" < ${FILESDIR}/mysql-server.sh > ${PREFIX}/etc/rc.d/mysql-server.sh + @${SED} "s|%%PREFIX%%|${PREFIX}|g; s|%%DB_DIR%%|${DB_DIR}|g" < ${FILESDIR}/mysql-server.sh > ${PREFIX}/etc/rc.d/mysql-server.sh @${CHMOD} 750 ${PREFIX}/etc/rc.d/mysql-server.sh .if !defined(NOPORTDOCS) diff --git a/databases/percona55-server/files/mysql-server.sh b/databases/percona55-server/files/mysql-server.sh index 6cc4f30ee2df..f22cbd0c8235 100644 --- a/databases/percona55-server/files/mysql-server.sh +++ b/databases/percona55-server/files/mysql-server.sh @@ -1,14 +1,21 @@ #!/bin/sh +DB_DIR=%%DB_DIR%% +PIDFILE=${DB_DIR}/`/bin/hostname -s`.pid + case "$1" in start) if [ -x %%PREFIX%%/bin/safe_mysqld ]; then - %%PREFIX%%/bin/safe_mysqld --user=mysql > /dev/null & + %%PREFIX%%/bin/safe_mysqld --user=mysql --datadir=${DB_DIR} --pid-file=${PIDFILE} > /dev/null & echo -n ' mysqld' fi ;; stop) - /usr/bin/killall mysqld > /dev/null 2>&1 && echo -n ' mysqld' + if [ -f ${PIDFILE} ]; then + /bin/kill `cat ${PIDFILE}` > /dev/null 2>&1 && echo -n ' mysqld' + else + echo "mysql-server isn't running" + fi ;; *) echo "" |