pintos-os.org Git - openvswitch/blob - debian/openvswitch-switchui.init

   1 #!/bin/sh
   2 #
   3 # Example init.d script with LSB support.
   4 #
   5 # Please read this init.d carefully and modify the sections to
   6 # adjust it to the program you want to run.
   7 #
   8 # Copyright (c) 2007, 2009 Javier Fernandez-Sanguino <jfs@debian.org>
   9 #
  10 # This is free software; you may redistribute it and/or modify
  11 # it under the terms of the GNU General Public License as
  12 # published by the Free Software Foundation; either version 2,
  13 # or (at your option) any later version.
  14 #
  15 # This is distributed in the hope that it will be useful, but
  16 # WITHOUT ANY WARRANTY; without even the implied warranty of
  17 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  18 # GNU General Public License for more details.
  19 #
  20 # You should have received a copy of the GNU General Public License with
  21 # the Debian operating system, in /usr/share/common-licenses/GPL;  if
  22 # not, write to the Free Software Foundation, Inc., 59 Temple Place,
  23 # Suite 330, Boston, MA 02111-1307 USA
  24 #
  25 ### BEGIN INIT INFO
  26 # Provides:          openvswitch-switchui
  27 # Required-Start:    $network $local_fs
  28 # Required-Stop:
  29 # Should-Start:      $named $syslog openvswitch-switch
  30 # Should-Stop:
  31 # Default-Start:     2 3 4 5
  32 # Default-Stop:      0 1 6
  33 # Short-Description: Open vSwitch switch monitor
  34 ### END INIT INFO
  35
  36 PATH=/usr/local/sbin:/usr/local/bin:/sbin:/bin:/usr/sbin:/usr/bin
  37
  38 DAEMON=/usr/bin/ovs-switchui
  39 NAME=openvswitch-switchui
  40 DESC="Open vSwitch switch monitor"
  41
  42 PIDFILE=/var/run/$NAME.pid
  43
  44 test -x $DAEMON || exit 0
  45
  46 . /lib/lsb/init-functions
  47
  48 # Default options, these can be overriden by the information
  49 # at /etc/default/$NAME
  50 DAEMON_OPTS=""          # Additional options given to the server
  51
  52 DODTIME=10              # Time to wait for the server to die, in seconds
  53                         # If this value is set too low you might not
  54                         # let some servers to die gracefully and
  55                         # 'restart' will not work
  56
  57 # Include defaults if available
  58 if [ -f /etc/default/$NAME ] ; then
  59     . /etc/default/$NAME
  60 fi
  61
  62 set -e
  63
  64 running_pid() {
  65 # Check if a given process pid's cmdline matches a given name
  66     pid=$1
  67     name=$2
  68     [ -z "$pid" ] && return 1
  69     [ ! -d /proc/$pid ] &&  return 1
  70     return 0
  71 }
  72
  73 running() {
  74 # Check if the process is running looking at /proc
  75 # (works for all users)
  76
  77     # No pidfile, probably no daemon present
  78     [ ! -f "$PIDFILE" ] && return 1
  79     pid=`cat $PIDFILE`
  80     running_pid $pid $DAEMON || return 1
  81     return 0
  82 }
  83
  84 start_server() {
  85 # Start the process using the wrapper
  86     if test -n "$EZIO3_DEVICE"; then
  87         # Make ezio-term detach and create the pidfile.
  88         WRAPPER="/usr/sbin/ezio-term"
  89         WRAPPER_OPTS="--detach --pidfile=$PIDFILE --ezio=$EZIO3_DEVICE --input=vt"
  90     else
  91         # openvt will detach, so instead make ovs-switchui make the pidfile.
  92         WRAPPER=$OPENVT
  93         WRAPPER_OPTS=""
  94         DAEMON_OPTS="--pidfile=$PIDFILE"
  95     fi
  96     start-stop-daemon --start --quiet --pidfile $PIDFILE \
  97         --exec $WRAPPER -- $WRAPPER_OPTS -- $DAEMON $DAEMON_OPTS \
  98         --log-file $SWITCH_VCONN
  99
 100     # Wait up to 3 seconds for the daemon to start.
 101     for i in 1 2 3; do
 102         if running; then
 103         break
 104     fi
 105     sleep 1
 106     done
 107 }
 108
 109 stop_server() {
 110     ovs-kill $PIDFILE
 111 }
 112
 113 force_stop() {
 114 # Force the process to die killing it manually
 115     [ ! -e "$PIDFILE" ] && return
 116     if running ; then
 117         kill -15 $pid
 118         # Is it really dead?
 119         sleep "$DIETIME"s
 120         if running ; then
 121             kill -9 $pid
 122             sleep "$DIETIME"s
 123             if running ; then
 124                 echo "Cannot kill $NAME (pid=$pid)!"
 125                 exit 1
 126             fi
 127         fi
 128     fi
 129     rm -f $PIDFILE
 130 }
 131
 132
 133 case "$1" in
 134   start)
 135         log_daemon_msg "Starting $DESC " "$NAME"
 136         # Check if it's running first
 137         if running ;  then
 138             log_progress_msg "apparently already running"
 139             log_end_msg 0
 140             exit 0
 141         fi
 142         if start_server && running ;  then
 143             # It's ok, the server started and is running
 144             log_end_msg 0
 145         else
 146             # Either we could not start it or it is not running
 147             # after we did
 148             # NOTE: Some servers might die some time after they start,
 149             # this code does not try to detect this and might give
 150             # a false positive (use 'status' for that)
 151             log_end_msg 1
 152         fi
 153         ;;
 154   stop)
 155         log_daemon_msg "Stopping $DESC" "$NAME"
 156         if running ; then
 157             # Only stop the server if we see it running
 158             stop_server
 159             log_end_msg $?
 160         else
 161             # If it's not running don't do anything
 162             log_progress_msg "apparently not running"
 163             log_end_msg 0
 164             exit 0
 165         fi
 166         ;;
 167   force-stop)
 168         # First try to stop gracefully the program
 169         $0 stop
 170         if running; then
 171             # If it's still running try to kill it more forcefully
 172             log_daemon_msg "Stopping (force) $DESC" "$NAME"
 173             force_stop
 174             log_end_msg $?
 175         fi
 176         ;;
 177   restart|force-reload)
 178         log_daemon_msg "Restarting $DESC" "$NAME"
 179         stop_server
 180         # Wait some sensible amount, some server need this
 181         [ -n "$DIETIME" ] && sleep $DIETIME
 182         start_server
 183         running
 184         log_end_msg $?
 185         ;;
 186   status)
 187
 188         log_daemon_msg "Checking status of $DESC" "$NAME"
 189         if running ;  then
 190             log_progress_msg "running"
 191             log_end_msg 0
 192         else
 193             log_progress_msg "apparently not running"
 194             log_end_msg 1
 195             exit 1
 196         fi
 197         ;;
 198   # Use this if the daemon cannot reload
 199   reload)
 200         log_warning_msg "Reloading $NAME daemon: not implemented, as the daemon"
 201         log_warning_msg "cannot re-read the config file (use restart)."
 202         ;;
 203   *)
 204         N=/etc/init.d/$NAME
 205         echo "Usage: $N {start|stop|force-stop|restart|force-reload|status}" >&2
 206         exit 1
 207         ;;
 208 esac
 209
 210 exit 0