Searched refs:server_token (Results 1 – 1 of 1) sorted by relevance
167 local server_token175 server_token=$(sed --unbuffered -n 's/.*\(token:\)\([[:digit:]]*\).*$/\2/p;q' "$server_evts")180 if [ "$client_token" != "" ] && [ "$server_token" != "" ] && [ "$client_serverside" = 0 ] &&191 server6_token=$server_token197 server4_token=$server_token
