mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | raw
Jean-Noel Rouvignac
13.32.2014 0c7ecbc4e3c91aa10086a9be077f97f25cd8ff0d 
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