~dveeden/mysql-sandbox/mysql-sandbox

« back to all changes in this revision

Viewing changes to script_templates/samples/send_kill

  • Committer: Giuseppe Maxia
  • Date: 2009-05-09 08:04:44 UTC
  • Revision ID: g.maxia@gmail.com-20090509080444-jy8a330el0mt425a
Tags: 3.0
- 3.0.00 GA release
- no code modification. Same codebase as 2.0.99f
- completed cookbook (41 recipes in MySQL::Sandbox::Recipes)
- added script_templates directory (No modification in current version, just preparation for 3.1.xx)
- added drafts directory

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
#!/Users/gmax/usr/local/bin/bash
 
2
 
 
3
#-----------------------------------------
 
4
SBDIR="/Users/gmax/sandboxes/msb_5_1_34"
 
5
. "$SBDIR/sandbox_env"
 
6
#-----------------------------------------
 
7
 
 
8
TIMEOUT=10
 
9
if [ -f $PIDFILE ]
 
10
then
 
11
    MYPID=`cat $PIDFILE`
 
12
    echo "Attempting normal termination --- kill -15 $MYPID"
 
13
    kill -15 $MYPID
 
14
    # give it a chance to exit peacefully
 
15
    ATTEMPTS=1
 
16
    while [ -f $PIDFILE ]
 
17
    do
 
18
        ATTEMPTS=$(( $ATTEMPTS + 1 ))
 
19
        if [ $ATTEMPTS = $TIMEOUT ]
 
20
        then
 
21
            break
 
22
        fi
 
23
        sleep 1
 
24
    done
 
25
    if [ -f $PIDFILE ]
 
26
    then
 
27
        echo "SERVER UNRESPONSIVE --- kill -9 $MYPID"
 
28
        kill -9 $MYPID
 
29
        rm -f $PIDFILE
 
30
    fi
 
31
fi
 
32