Explicitly say when job times out

When timeout -s 9 times out it has a return code of 137. Make the
output easier a little easier to understand by explicitly stating the
job timed out.

Change-Id: If986bdb64630d7ab2f3510f6a704fec858421612
This commit is contained in:
Joe Gordon
2015-04-28 11:51:02 -07:00
parent 7b42a5e168
commit 3305a472b2

View File

@@ -504,6 +504,7 @@ if [ $GATE_RETVAL -eq 0 ]; then
fi
if [ $GATE_RETVAL -eq 137 ] && [ -f $WORKSPACE/gate.pid ] ; then
echo "Job timed out"
GATEPID=`cat $WORKSPACE/gate.pid`
echo "Killing process group ${GATEPID}"
sudo kill -s 9 -${GATEPID}