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

Matthew Swift
15.28.2013 75bf478e559d8c54caf7cfdfe5d2918fa2c19118
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