dejsem.1.5/unix/debian/etc/init.d/dejsemd
changeset 0 676905a3b03c
equal deleted inserted replaced
-1:000000000000 0:676905a3b03c
       
     1 #!/bin/sh
       
     2 ### BEGIN INIT INFO
       
     3 # Provides:				dejsemd
       
     4 # Required-Start:		$local_fs $network
       
     5 # Required-Stop:		$local_fs $network
       
     6 # Default-Start:		2 3 4 5
       
     7 # Default-Stop:			0 1 6
       
     8 # Short-Description:	dejsem daemon
       
     9 # Description:			dejsem is development clone of dejsem
       
    10 #						dejsem is clipboard and files exchange mediator 
       
    11 ### END INIT INFO
       
    12 # -*- coding: utf-8 -*-
       
    13 # Debian init.d script for dejsem
       
    14 
       
    15 set -e
       
    16 
       
    17 DAEMON=/usr/bin/dejsemd
       
    18 NAME=dejsemd
       
    19 DAEMONUSER=dejsem
       
    20 PIDFILE=/var/run/dejsem.pid
       
    21 LOG=/var/log/dejsem.log
       
    22 DESC="development clone of dejsem"
       
    23 
       
    24 test -x $DAEMON || exit 0
       
    25 
       
    26 . /lib/lsb/init-functions
       
    27 
       
    28 # Source defaults file; edit that file to configure this script.
       
    29 if [ -e /etc/default/dejsem ]
       
    30 then	. /etc/default/dejsem
       
    31 fi
       
    32 export DEB
       
    33 export SSLP
       
    34 export LOG
       
    35 export BASEPORT
       
    36 
       
    37 start_it_up()
       
    38 {
       
    39   if [ ! -e $LOG ]; then
       
    40     touch $LOG
       
    41     chown $DAEMONUSER.$DAEMONUSER $LOG
       
    42   fi
       
    43 
       
    44   if [ -e $PIDFILE ]; then
       
    45     if $0 status > /dev/null ; then
       
    46       log_success_msg "$DESC already started; not starting."
       
    47       return
       
    48     else
       
    49       log_success_msg "Removing stale PID file $PIDFILE."
       
    50       rm -f $PIDFILE
       
    51     fi
       
    52   fi
       
    53 
       
    54   log_daemon_msg "Starting $DESC" "$NAME"
       
    55   start-stop-daemon --start --pidfile $PIDFILE --make-pidfile --background --chuid $DAEMONUSER --exec $DAEMON
       
    56   log_end_msg $?
       
    57 }
       
    58 
       
    59 shut_it_down()
       
    60 {
       
    61   log_daemon_msg "Stopping $DESC" "$NAME"
       
    62   start-stop-daemon --stop --retry 5 --quiet --oknodo --pidfile $PIDFILE --remove-pidfile --user $DAEMONUSER
       
    63   log_end_msg $?
       
    64   rm -f $PIDFILE
       
    65 }
       
    66 
       
    67 case "$1" in
       
    68   start)
       
    69     start_it_up
       
    70   ;;
       
    71   stop)
       
    72     shut_it_down
       
    73   ;;
       
    74   restart)
       
    75     shut_it_down
       
    76     start_it_up
       
    77   ;;
       
    78   status)
       
    79     status_of_proc -p $PIDFILE $DAEMON $NAME && exit 0 || exit $?
       
    80     ;;
       
    81   *)
       
    82     echo "Usage: /etc/init.d/$NAME {start|stop|restart|status}" >&2
       
    83     exit 2
       
    84   ;;
       
    85 esac