From 44f945e40b2d632fe289ba3041ba09187ccaf95f Mon Sep 17 00:00:00 2001
From: Gaetan Boismal <gaetan.boismal@forgerock.com>
Date: Tue, 10 Mar 2015 14:47:08 +0000
Subject: [PATCH] OPENDJ-1772: Add profile to build deb package
---
opendj-server-legacy/resource/debian/control/prerm | 8 ++++----
1 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/opendj-server-legacy/resource/debian/control/prerm b/opendj-server-legacy/resource/debian/control/prerm
index 7758969..07fbd14 100644
--- a/opendj-server-legacy/resource/debian/control/prerm
+++ b/opendj-server-legacy/resource/debian/control/prerm
@@ -1,17 +1,17 @@
#!/bin/bash
set -e
# Pre rm script
-# Stops the service.
+# Stops the service.
/etc/init.d/opendj stop >/dev/null 2>&1
-# Deletes the service.
+# 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)" ] )
+if [ "$1" = "remove" ] && ( [ -f ${deb.prefix}/config/buildinfo ] && [ "$(ls -A ${deb.prefix}/config/archived-configs)" ] )
then
echo *Stopping OpenDJ server...
- @prefix@/bin/./stop-ds
+ ${deb.prefix}/bin/./stop-ds
fi
# End prem script
\ No newline at end of file
--
Gitblit v1.10.0