mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

Gaetan Boismal
11.30.2015 ab1f8ae8e6113819e9c7ddd83eea69d9a9133dd8
opendj-server-legacy/resource/debian/control/postrm
@@ -27,11 +27,10 @@
set -e
# Post rm script
# Files are removed automatically by pm.
if [ "$1" = "remove" ]
then
# Files are removed automatically by pm.
if [ "$1" = "remove" ] ; then
  echo
  echo *OpenDJ successfully removed
fi
echo
echo
# End of the post rm script