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