Searched refs:SERVER_HELLO_TIME (Results 1 – 1 of 1) sorted by relevance
920 SERVER_HELLO_TIME="$(sed -n 's/.*server hello, current time: //p' < "$1")"926 if [ -z "$SERVER_HELLO_TIME" ]; then931 if [ $SERVER_HELLO_TIME -lt $(( $CUR_TIME - $THRESHOLD_IN_SECS )) ]; then934 elif [ $SERVER_HELLO_TIME -gt $(( $CUR_TIME + $THRESHOLD_IN_SECS )) ]; then
