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
OPENDJ-941 Package Upgrade: pre-install script should call stop-ds if the i...
Violette Roche-Montane
27.23.2013
9af60f21a97a47394c0bb26d96f308d9c3ec73a1
[external-software/github_OpenIdentityPlatform_OpenDJ.git]
/
opends
/
resource
/
debian
/
control
/
prerm
1
2
3
4
5
6
7
8
9
10
11
#!/bin/bash
set -e
# Pre rm script
# Stops the server
# Only if the instance has been configured
if [ "$1" = "remove" ] && ( [ -f @prefix@/config/buildinfo ] && [ "$(ls -A @prefix@/config/archived-configs)" ] )
then
echo *Stopping OpenDJ server...
@prefix@/bin/./stop-ds
fi
# End prem script