database/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2026-01-06 05:22:24 +03:00
Code Activity

Fix for make dist

Browse Source 
libmysql/Makefile.am:
  Change global.h to my_global.h
support-files/mysql.server.sh:
  Fix for empty pid files
This commit is contained in:
unknown
2001-09-29 15:37:53 +03:00
parent ad9c7236a0
commit 097f690276
4 changed files with 7 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
support-files/mysql.server.sh
View File

@@ -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"