#!/bin/sh
set -e
tomcatdir=/var/lib/tomcat7
webappdir=$tomcatdir/webapps/PackageManager

if [ "$1" = "purge" ]
then
	rm -f $webappdir/WEB-INF/tools.xml
fi
