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

Gaetan Boismal
11.30.2015 9a9ae38a98b5e00a1580ee89a534c36724b5ad34
opendj-server-legacy/resource/debian/control/postrm
@@ -29,8 +29,10 @@
# Post rm script
# Files are removed automatically by pm.
if [ "$1" = "remove" ] ; then
  echo
  echo *OpenDJ successfully removed
    # Deletes the service.
    update-rc.d -f opendj remove
    echo
    echo *OpenDJ successfully removed
fi
echo
# End of the post rm script