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