mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | raw
Jean-Noel Rouvignac
04.20.2013 c64b052d2fc60dcadbc8afcf1ef5b82b6857e512 
1
2
3
4
5
6
7
8
9
10
11

#!/bin/bash


set -e


# Post rm script


# Files are removed automatically by pm. 


if [ "$1" = "remove" ]


then


  echo


  echo *OpenDJ successfully removed


fi


echo 


# End of the post rm script