mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

Mark Craig
03.10.2013 d94ebe9aa2a6d5778733b9663c17d36432b58ef5
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#!/bin/bash
set -e
# Pre rm script
# Stops the service. 
/etc/init.d/opendj stop >/dev/null 2>&1
# Deletes the service.   
update-rc.d -f opendj remove
# Unlink the symlink to the process ID if it exists.
test -h "/var/run/opendj.pid" && unlink /var/run/opendj.pid
# 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