10dc076565f772bb1953209fb69ea150b494aaa40robbiew#!/bin/bash 20dc076565f772bb1953209fb69ea150b494aaa40robbiewPRIORITY=20 30dc076565f772bb1953209fb69ea150b494aaa40robbiew# PINUM stands for the test cases number of pi test 40dc076565f772bb1953209fb69ea150b494aaa40robbiewPINUM=6 50dc076565f772bb1953209fb69ea150b494aaa40robbiewnum=0 60dc076565f772bb1953209fb69ea150b494aaa40robbiewchrt -p -f $PRIORITY $$ 70dc076565f772bb1953209fb69ea150b494aaa40robbiewTIMEOUT=600 80dc076565f772bb1953209fb69ea150b494aaa40robbiewecho "Start watchdogtimer script..." 90dc076565f772bb1953209fb69ea150b494aaa40robbiewecho "wait 10 minutes, if pitest hangs, stop the case execution" 100dc076565f772bb1953209fb69ea150b494aaa40robbiewwhile [ $num -lt $PINUM ] 110dc076565f772bb1953209fb69ea150b494aaa40robbiewdo 120dc076565f772bb1953209fb69ea150b494aaa40robbiewsleep $TIMEOUT 130dc076565f772bb1953209fb69ea150b494aaa40robbiewkillall -9 -q pitest* 140dc076565f772bb1953209fb69ea150b494aaa40robbiewecho "Timeout, kill pi test case" 150dc076565f772bb1953209fb69ea150b494aaa40robbiewnum=`expr $num + 1` 160dc076565f772bb1953209fb69ea150b494aaa40robbiewdone 170dc076565f772bb1953209fb69ea150b494aaa40robbiew 18