rdiffweb/init.patch

   1 *** init/rdiff-web      2008-03-05 17:49:11.000000000 +0100
   2 --- init/rdiff-web.new  2010-04-15 21:40:59.144537697 +0200
   3 ***************
   4 *** 1,4 ****
   5 ! #!/bin/sh
   6
   7   # Basic support for the Linux Standard Base Specification 3.1.0
   8   ### BEGIN INIT INFO
   9 --- 1,4 ----
  10 ! #!/bin/bash
  11
  12   # Basic support for the Linux Standard Base Specification 3.1.0
  13   ### BEGIN INIT INFO
  14 ***************
  15 *** 10,53 ****
  16   # Description: Manages the rdiffWeb daemon
  17   ### END INIT INFO
  18
  19 ! PIDFILE="/var/run/rdiff-web"
  20
  21 ! SUCCESS_MSG="\e[71G done"
  22 ! ERROR_MSG="\e[71Gfailed"
  23
  24 - if [ -f /etc/init.d/functions ]; then
  25 -  . /etc/init.d/functions
  26 - fi
  27 -
  28 - # This script won't be able to run without root privileges.
  29 - if [ `id -u` -ne 0 ]; then
  30 -    echo "Error: this script must be run as root."
  31 -    exit 1
  32 - fi
  33 -
  34 -
  35 - # See how we were called.
  36   case "$1" in
  37      start)
  38         if [ ! -f /etc/rdiffweb/rdw.conf ]; then
  39            echo -n "rdiffWeb is not configured!  Please run 'rdiff-web-config'."
  40 !          echo $ERROR_MSG
  41 !          exit 1
  42         fi
  43 !       echo -n "Starting rdiffWeb..."
  44 !       /usr/bin/rdiff-web --pid-file="$PIDFILE" \
  45 !       --background > /dev/null 2>&1
  46 !       echo $SUCCESS_MSG
  47 !       exit 0
  48      ;;
  49
  50      stop)
  51         if [ -e "$PIDFILE" ]; then
  52 !          echo -n "Stopping rdiffWeb..."
  53            kill `cat "$PIDFILE" 2>/dev/null` > /dev/null 2>&1
  54            rm $PIDFILE > /dev/null 2>&1
  55 !          echo $SUCCESS_MSG
  56 !          exit 0
  57         else
  58            echo -n "rdiffWeb is not running"
  59            echo $ERROR_MSG
  60 --- 10,39 ----
  61   # Description: Manages the rdiffWeb daemon
  62   ### END INIT INFO
  63
  64 ! PIDFILE="/var/run/rdiff-web.pid"
  65
  66 ! . /etc/rc.conf
  67 ! . /etc/rc.d/functions
  68
  69   case "$1" in
  70      start)
  71 +         stat_busy "Starting rdiff WebInterface"
  72         if [ ! -f /etc/rdiffweb/rdw.conf ]; then
  73            echo -n "rdiffWeb is not configured!  Please run 'rdiff-web-config'."
  74 !                stat_fail
  75         fi
  76 !       /usr/bin/rdiff-web --pid-file="$PIDFILE" --background > /dev/null 2>&1 -d
  77 !         add_daemon rdiffweb
  78 !         stat_done
  79      ;;
  80
  81      stop)
  82         if [ -e "$PIDFILE" ]; then
  83 !          stat_busy "Stopping rdiff WebInterface"
  84            kill `cat "$PIDFILE" 2>/dev/null` > /dev/null 2>&1
  85            rm $PIDFILE > /dev/null 2>&1
  86 !                rm_daemon rdiffweb
  87 !                stat_done
  88         else
  89            echo -n "rdiffWeb is not running"
  90            echo $ERROR_MSG
  91 ***************
  92 *** 56,68 ****
  93      ;;
  94
  95      status)
  96 -       echo -n "rdiffWeb "
  97         if [ -e "$PIDFILE" ]; then
  98 !          echo "is running."
  99 !          exit 0
 100         else
 101 !          echo "is not running."
 102 !          exit 1
 103         fi
 104      ;;
 105
 106 --- 42,53 ----
 107      ;;
 108
 109      status)
 110         if [ -e "$PIDFILE" ]; then
 111 !          stat_busy "rdiffWeb is running."
 112 !                stat_done
 113         else
 114 !          stat_busy "rdiffWeb is not running."
 115 !                stat_fail
 116         fi
 117      ;;
 118
 119 ***************
 120 *** 74,78 ****
 121         echo "Usage: `basename "$0"` {start|stop|status|restart}"
 122         exit 1
 123   esac
 124 -
 125   exit 0
 126 --- 59,62 ----