make sure to kill tail on exit

This commit is contained in:
Anthony Young 2011-10-17 09:40:45 -07:00
parent da89268c92
commit 04db155a70

View file

@ -282,6 +282,7 @@ if [ "$WAIT_TILL_LAUNCH" = "1" ]; then
TAIL_PID=$! TAIL_PID=$!
function kill_tail() { function kill_tail() {
kill $TAIL_PID
exit 1 exit 1
} }