Sophie

Sophie

distrib > Mageia > 7 > armv7hl > media > core-updates > by-pkgid > 681032323bb9d7cdd3b882eda3c6f009 > scriptlet

tomcat-servlet-4.0-api-9.0.31-1.mga7.noarch.rpm

POSTIN

/bin/sh
/usr/sbin/update-alternatives --install /usr/share/java/servlet.jar servlet \
    /usr/share/java/tomcat-servlet-4.0-api.jar 30000

POSTUN

/bin/sh
if [ "$1" = "0" ]; then
    /usr/sbin/update-alternatives --remove servlet \
        /usr/share/java/tomcat-servlet-4.0-api.jar
fi