dashboard
repositories
filestore
activity
search
login
external-software
/
github_OpenIdentityPlatform_OpenDJ
mirror of
https://github.com/OpenIdentityPlatform/OpenDJ.git
summary
commits
tree
docs
forks
compare
blame
|
history
|
raw
svn merge https://svn.forgerock.org/opendj/trunk/opends@8851 https://svn.fo...
Violette Roche-Montane
07.50.2013
00d37e85955e374be365f1c34de5af1f69a6476c
[external-software/github_OpenIdentityPlatform_OpenDJ.git]
/
opendj-sdk
/
opends
/
resource
/
debian
/
control
/
prerm
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