diff --git a/checker/checker.sh b/checker/checker.sh index 9f6125c47ffef9cfecbc32d42b8104dedc6d0d2a..d8c4022d532ad94ff4b4a0fd4bb3d5fc3f00a34e 100755 --- a/checker/checker.sh +++ b/checker/checker.sh @@ -69,6 +69,11 @@ timeout_exceeded() echo "" echo "TIMEOUT EXCEEDED !!! killing the process" if [[ $RECOVER_GRADE_TIMEOUT == 0 ]]; then + if [ -f $output ]; then + echo "$output not available" + else + cat $output + fi echo "The Recover Grade Timeout option is not set! Please contact a teaching assistant!" else recover_grade_from_timeout $output