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

Gaetan Boismal
10.47.2015 44f945e40b2d632fe289ba3041ba09187ccaf95f
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 ${deb.prefix}/config/buildinfo ] && [ "$(ls -A ${deb.prefix}/config/archived-configs)" ]
  then
# If the server is running before upgrade, creates a flag.
    if [ -f ${deb.prefix}/logs/server.pid ]
    then
      touch ${deb.prefix}/logs/status
    fi
    echo *Stopping OpenDJ server...
    ${deb.prefix}/bin/./stop-ds
  else
    echo "Instance is not configured. Upgrade aborded."
    exit -1
  fi
fi
echo
# End of the pre installation script