postrm revision 6238
set -e
# POSTRM - Upgrade or remove script
if [ $1 == "remove" ] ; then
# Removing the remaining files
fi
if [ "$1" = "upgrade" ] ; then
# Upgrade ok, restarts the server.
fi
# Upgrade fails - Needs user interaction
exit 0
fi
fi
echo