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
LDAPReplicationDomain: Fixed typos. In findAndRenameChild(), removed a usel...
Jean-Noel Rouvignac
26.19.2013
c2bcce376c4a82c41ad2023bdcc8415a4fac6ed0
[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