Branch: Tag:

2001-06-28

2001-06-28 15:33:24 by Martin Stjernholm <mast@lysator.liu.se>

No noise from the mysql kill.

Rev: server/start:1.166

1:   #!/bin/sh   # - # $Id: start,v 1.165 2001/06/27 18:58:47 per Exp $ + # $Id: start,v 1.166 2001/06/28 15:33:24 mast Exp $      ### If --silent-start is given as the first argument,   ### nothing will be printed to stdout by the script.
581:    fi    if [ -f $DIR/_mysql/mysql_pid ] ; then    dp "Shutting down mysql" -  kill `cat $DIR/_mysql/mysql_pid` +  kill `cat $DIR/_mysql/mysql_pid` 2>/dev/null    sleep 2    if [ -f $DIR/_mysql/mysql_pid ] ; then    kill -9 `cat $DIR/_mysql/mysql_pid` 2>/dev/null