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
Fix message typo.
Matthew Swift
15.28.2013
75bf478e559d8c54caf7cfdfe5d2918fa2c19118
[external-software/github_OpenIdentityPlatform_OpenDJ.git]
/
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