mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2026-05-03 13:45:34 +02:00
Code Issues Projects Releases Packages Wiki Activity

Merge remote-tracking branch 'origin/10.1' into 10.2

Browse source
This commit is contained in:
Alexander Barkov 2019-10-01 06:10:19 +04:00
commit f203245e9e
10 changed files with 281 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

2
support-files/rpm/server-preun.sh
View file

@ -9,7 +9,7 @@ if [ $1 = 0 ] ; then
%{_sysconfdir}/init.d/mysql stop > /dev/null
fi
if [ -x /sbin/chkconfig ] ; then
/sbin/chkconfig --del mysql > /dev/null 2>&1
/sbin/chkconfig --del mysql > /dev/null 2>&1 || :
fi
fi