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