1 |
#!/bin/sh |
2 |
# |
3 |
# Script to check that ihost is still running, and restart if necessary. |
4 |
# |
5 |
# You probably want to add this to a cronjob, say every 10 minutes: |
6 |
# 0,10,20,30,40,50 * * * * /path/to/ihostchk.sh |
7 |
# And if you find yourself getting e-mails, use the following instead: |
8 |
# 0,10,20,30,40,50 * * * * /path/to/ihostchk.sh >/dev/null 2>&1 |
9 |
# NOTE: e-mails should only be sent if an error occurs, so the former is |
10 |
# the best choice for a cronjob. |
11 |
# |
12 |
# $Id: ihostchk.sh,v 1.4 2001/11/21 10:08:20 tdb1 Exp $ |
13 |
# |
14 |
|
15 |
# CHANGE these to represent your filtermanager details |
16 |
fmhost="raptor.ukc.ac.uk" |
17 |
fmport="4567" |
18 |
|
19 |
# CHANGE this to the directory of the ihost.pl script |
20 |
# This should be set by the configure script |
21 |
ihostdir="@prefix@/bin" |
22 |
|
23 |
# CHANGE this to point to the PID file |
24 |
# This should be set by the configure script |
25 |
pidfile="@pidfile@" |
26 |
|
27 |
###### You probably don't need to change anything below here ###### |
28 |
|
29 |
ihost="ihost" |
30 |
|
31 |
cd $ihostdir |
32 |
|
33 |
# is there a pid file? |
34 |
if test -r $pidfile |
35 |
then |
36 |
# there is a pid file, check to see if it's current |
37 |
ihostpid=`cat $pidfile` |
38 |
if `kill -CHLD $ihostpid >/dev/null 2>&1` |
39 |
then |
40 |
# it's still alive, lets leave it be |
41 |
exit 0 |
42 |
fi |
43 |
# old pid file found |
44 |
echo "" |
45 |
echo "Stale $pidfile file, removing..." |
46 |
rm -f $pidfile |
47 |
fi |
48 |
|
49 |
# if we got here, we're clear to restart ihost |
50 |
echo "" |
51 |
echo "ihost is not running, starting up..." |
52 |
echo "" |
53 |
./$ihost -d -s $fmhost $fmport |
54 |
exit 0 |
55 |
|
56 |
# finished |