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
18
19
20
21
22
#!/bin/bash
set -e
# Pre installation script
if [ "$1" = "upgrade" ]
then
# Only if the instance has been configured
  if [ -f @prefix@/config/buildinfo ] && [ "$(ls -A @prefix@/config/archived-configs)" ]
  then
# If the server is running before upgrade, creates a flag.
    if [ -f @prefix@/logs/server.pid ]
    then
      touch @prefix@/logs/status
    fi
    echo *Stopping OpenDJ server...
    @prefix@/bin/./stop-ds
  else
    echo "Instance is not configured. Upgrade aborded."
    exit -1
  fi
fi
echo 
# End of the pre installation script