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
CR-1807 Updated fractional replication tests following fix for issue OPENDJ...
Christophe Sovant
06.39.2013
6ffee9cbf424c1cf2e5a2bf3a8c0bbdf0129cec8
[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