mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
Violette Roche-Montane
16.14.2013 4571675a785cf27b01455331d41629d0aa0c4c6d 
 opends/resource/debian/control/preinst


@@ -1,6 +1,15 @@


#!/bin/sh


#!/bin/bash


set -e


# Pre installation section


# Insert your pre installation code here.


# Pre installation script


# If the server is running before upgrade, creates a flag.


if [ "$1" = "upgrade" ]


then


  if [ -f @prefix@/logs/server.pid ]


  then


    touch @prefix@/logs/status


  fi


  echo *Stopping OpenDJ server...


  @prefix@/bin/./stop-ds


fi


echo 


# End of the pre installation section


# End of the pre installation script