OPENDJ-1772: Add profile to build deb package

Gaetan Boismal

10.47.2015 44f945e40b2d632fe289ba3041ba09187ccaf95f

 opendj-server-legacy/resource/debian/control/preinst

@@ -4,19 +4,19 @@
if [ "$1" = "upgrade" ]
then
# Only if the instance has been configured
  if [ -f @prefix@/config/buildinfo ] && [ "$(ls -A @prefix@/config/archived-configs)" ]
  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 @prefix@/logs/server.pid ]
    if [ -f ${deb.prefix}/logs/server.pid ]
    then
      touch @prefix@/logs/status
      touch ${deb.prefix}/logs/status
    fi
    echo *Stopping OpenDJ server...
    @prefix@/bin/./stop-ds
    ${deb.prefix}/bin/./stop-ds
  else
    echo "Instance is not configured. Upgrade aborded."
    exit -1
  fi
fi
echo 
echo
# End of the pre installation script