1
#!/Users/gmax/usr/local/bin/bash
3
#-----------------------------------------
4
SBDIR="/Users/gmax/sandboxes/msb_5_1_34"
6
#-----------------------------------------
12
echo "Attempting normal termination --- kill -15 $MYPID"
14
# give it a chance to exit peacefully
18
ATTEMPTS=$(( $ATTEMPTS + 1 ))
19
if [ $ATTEMPTS = $TIMEOUT ]
27
echo "SERVER UNRESPONSIVE --- kill -9 $MYPID"