PREIN

/bin/sh

# delete the mysql group if no mysql user is found, before adding the user
if [ -z "`getent passwd mysql`" ] && ! [ -z "`getent group mysql`" ]; then
    /usr/sbin/groupdel mysql 2> /dev/null || :
fi

/usr/share/rpm-helper/add-user mysql $1 mysql /var/lib/mysql /bin/bash

PREUN

/bin/sh

if [ "$1" = "0" ]; then if [[ -f /usr/share/info/mysql.info.bz2 ]];then /sbin/install-info /usr/share/info/mysql.info.bz2 --dir=/usr/share/info/dir --remove || : ;fi; fi

POSTIN

/bin/sh

if [[ -f /usr/share/info/mysql.info.bz2 ]];then /sbin/install-info /usr/share/info/mysql.info.bz2 --dir=/usr/share/info/dir || :;fi 
/usr/share/rpm-helper/create-file mysql $1 /etc/mysqlmanager.passwd mysql mysql 0640