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

Violette Roche-Montane
07.50.2013 00d37e85955e374be365f1c34de5af1f69a6476c
1
2
3
4
5
6
7
8
9
#!/bin/sh
set -e
# PRERM - Upgrade or remove script
if [ $1 = "upgrade" -o $1 = "remove" ] ; then
  echo *Stopping OpenDJ server...
  @prefix@/bin/stop-ds
fi
echo 
# End prem - upgrade or remove script