mirror of
https://github.com/MariaDB/server.git
synced 2025-01-16 20:12:31 +01:00
108265bd9e
but restart it on upgrade, if it was already running
14 lines
359 B
Bash
14 lines
359 B
Bash
if [ $1 = 0 ] ; then
|
|
# Stop MySQL before uninstalling it
|
|
if [ -x %{_sysconfdir}/init.d/mysql ] ; then
|
|
%{_sysconfdir}/init.d/mysql stop > /dev/null
|
|
fi
|
|
# Don't start it automatically anymore
|
|
if [ -x /sbin/chkconfig ] ; then
|
|
/sbin/chkconfig --del mysql
|
|
fi
|
|
fi
|
|
|
|
# We do not remove the mysql user since it may still own a lot of
|
|
# database files.
|
|
|