diff options
| author | monty@hundin.mysql.fi <> | 2001-09-29 15:37:53 +0300 |
|---|---|---|
| committer | monty@hundin.mysql.fi <> | 2001-09-29 15:37:53 +0300 |
| commit | 12aa7e5e84900f893e4b49f85eeced383b37e193 (patch) | |
| tree | 69dcf1714c08230c310121b21e273ba82d19b018 /support-files | |
| parent | 5293d2ea2d115e73b089ee54789fe927e1638405 (diff) | |
| download | mariadb-git-12aa7e5e84900f893e4b49f85eeced383b37e193.tar.gz | |
Fix for make dist
Diffstat (limited to 'support-files')
| -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" |