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