Admin/isatest-doc
changeset 15900 d6156cb8dc2e
parent 15899 e30f9161890f
child 15902 0fce3f919aec
equal deleted inserted replaced
15899:e30f9161890f 15900:d6156cb8dc2e
   109   echo "Failed sessions: ${FAIL}" >> $LOG
   109   echo "Failed sessions: ${FAIL}" >> $LOG
   110 
   110 
   111   echo "$(date) $HOSTNAME $PRG: doc test FAILED for ${FAIL}, elapsed time $ELAPSED." >> $MASTERLOG
   111   echo "$(date) $HOSTNAME $PRG: doc test FAILED for ${FAIL}, elapsed time $ELAPSED." >> $MASTERLOG
   112 
   112 
   113   cat > $TMP <<EOF
   113   cat > $TMP <<EOF
   114 Session(s) ${FAILED} in the documentation test failed (log attached).
   114 Session(s) ${FAIL} in the documentation test failed (log attached).
   115 Test ended on: $HOSTNAME, `date`.
   115 Test ended on: $HOSTNAME, `date`.
   116 
   116 
   117 Have a nice day,
   117 Have a nice day,
   118   isatest
   118   isatest
   119 
   119