File: xpilot-server.prerm

package info (click to toggle)
xpilot 4.5.5beta.20031222-1
  • links: PTS
  • area: main
  • in suites: sarge
  • size: 7,696 kB
  • ctags: 8,771
  • sloc: ansic: 85,922; cpp: 4,282; tcl: 3,479; sh: 1,731; makefile: 334; perl: 134
file content (22 lines) | stat: -rw-r--r-- 639 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
 
#! /bin/sh
# prerm script for xpilot-server

set -e

echo -n "Stopping xpilot server: "
if start-stop-daemon --stop --quiet --user xpilots \
	--name xpilots --retry 30 >/dev/null 2>&1; then
   echo "xpilots."
else
   # Take more draconian measures, as 'xpilots' user may be
   # removed by this point by an earlier failed --stop.
   # We risk also terminating servers run by users other
   # than xpilots here, but this is better than the alternative
   # (keeping an earlier, potentially buggy xpilot server
   # running).
   if start-stop-daemon --stop --quiet --name xpilots --retry 30; then
      echo "xpilots."
   fi
fi

#DEBHELPER#