diff options
| author | unknown <monty@hundin.mysql.fi> | 2001-09-29 15:37:53 +0300 |
|---|---|---|
| committer | unknown <monty@hundin.mysql.fi> | 2001-09-29 15:37:53 +0300 |
| commit | 097f690276abd66881f80fe1fd39824b6a7dd4de (patch) | |
| tree | 69dcf1714c08230c310121b21e273ba82d19b018 /support-files/mysql.server.sh | |
| parent | ad9c7236a026395e5d7e6faf7ec83689f631ca40 (diff) | |
| download | mariadb-git-097f690276abd66881f80fe1fd39824b6a7dd4de.tar.gz | |
Fix for make dist
libmysql/Makefile.am:
Change global.h to my_global.h
support-files/mysql.server.sh:
Fix for empty pid files
Diffstat (limited to 'support-files/mysql.server.sh')
| -rw-r--r-- | support-files/mysql.server.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/support-files/mysql.server.sh b/support-files/mysql.server.sh index ee5a9adaf8b..eed749bf5b2 100644 --- a/support-files/mysql.server.sh +++ b/support-files/mysql.server.sh @@ -118,7 +118,7 @@ case "$mode" in 'stop') # Stop daemon. We use a signal here to avoid having to know the # root password. - if test -f "$pid_file" + if test -s "$pid_file" then mysqld_pid=`cat $pid_file` echo "Killing mysqld with pid $mysqld_pid" |