From f0e185abe37fe114cd98900fbde68b28b1c6395b Mon Sep 17 00:00:00 2001 From: Christos KK Loverdos Date: Mon, 11 Jun 2012 14:46:08 +0300 Subject: [PATCH] Add some header to aquarium script, needed for the init.d service --- scripts/aquarium.sh | 14 ++++++++++++-- 1 file changed, 12 insertions(+), 2 deletions(-) diff --git a/scripts/aquarium.sh b/scripts/aquarium.sh index 7042068..55eb75f 100755 --- a/scripts/aquarium.sh +++ b/scripts/aquarium.sh @@ -28,7 +28,7 @@ # The views and conclusions contained in the software and documentation are # those of the authors and should not be interpreted as representing official # policies, either expressed or implied, of GRNET S.A. - +# # # Init script for Aquarium # @@ -47,8 +47,18 @@ # AQUARIUM_HOME Location of the top level Aquarium dir # (default: .) #---------------------- - +# #set -x +# +### BEGIN INIT INFO +# Provides: aquarium +# Required-Start: $all +# Required-Stop: $all +# Should-Start: $local_fs +# Should-Stop: $local_fs +# Default-Start: 2 3 4 5 +# Default-Stop: 0 1 6 +### END INIT INFO # resolve links - $0 may be a softlink PRG="$0" -- 1.7.10.4