external-software/github_OpenIdentityPlatform_OpenDJ.git

external-software / github_OpenIdentityPlatform_OpenDJ

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

summary
commits
tree
docs
forks
compare

OPENDJ-904 RPM/Deb packages should not restart server after package update....

Violette Roche-Montane

16.14.2013 4571675a785cf27b01455331d41629d0aa0c4c6d

 opends/resource/debian/control/prerm

@@ -1,9 +1,10 @@
#!/bin/sh
#!/bin/bash
set -e
# PRERM - Upgrade or remove script
if [ $1 = "upgrade" -o $1 = "remove" ] ; then
# Pre rm script
# Stops the server
if [ "$1" = "remove" ]
then
  echo *Stopping OpenDJ server...
  @prefix@/bin/stop-ds
  @prefix@/bin/./stop-ds
fi
echo 
# End prem - upgrade or remove script
# End prem script

			@@ -1,9 +1,10 @@
			#!/bin/sh
			#!/bin/bash
			set -e
			# PRERM - Upgrade or remove script
			if [ $1 = "upgrade" -o $1 = "remove" ] ; then
			# Pre rm script
			# Stops the server
			if [ "$1" = "remove" ]
			then
			echo *Stopping OpenDJ server...
			@prefix@/bin/stop-ds
			@prefix@/bin/./stop-ds
			fi
			echo
			# End prem - upgrade or remove script
			# End prem script