Sophie: tomcat-servlet-4.0-api-1:9.0.31-1.mga7 noarch

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

/bin/sh

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

/bin/sh

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