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-1114 Improve the debian package - Original data are copied under bu...

Violette Roche-Montane

22.38.2013 aedaf5652dd9b728942b9f30836458fe80a423c1

 opends/resource/debian/control/prerm

@@ -1,6 +1,12 @@
#!/bin/bash
set -e
# Pre rm script
# Stops the service. 
/etc/init.d/opendj stop >/dev/null 2>&1
# Deletes the service.   
update-rc.d -f opendj remove
# Unlink the symlink to the process ID if it exists.
test -h "/var/run/opendj.pid" && unlink /var/run/opendj.pid
# Stops the server
# Only if the instance has been configured
if [ "$1" = "remove" ] && ( [ -f @prefix@/config/buildinfo ] && [ "$(ls -A @prefix@/config/archived-configs)" ] )

			@@ -1,6 +1,12 @@
			#!/bin/bash
			set -e
			# Pre rm script
			# Stops the service.
			/etc/init.d/opendj stop >/dev/null 2>&1
			# Deletes the service.
			update-rc.d -f opendj remove
			# Unlink the symlink to the process ID if it exists.
			test -h "/var/run/opendj.pid" && unlink /var/run/opendj.pid
			# Stops the server
			# Only if the instance has been configured
			if [ "$1" = "remove" ] && ( [ -f @prefix@/config/buildinfo ] && [ "$(ls -A @prefix@/config/archived-configs)" ] )