{
tc = tcp_half_open_connection_get (index);
/* Note: the connection may have transitioned to ESTABLISHED... */
{
tc = tcp_half_open_connection_get (index);
/* Note: the connection may have transitioned to ESTABLISHED... */
{
tc = tcp_connection_get (index, thread_index);
/* Note: the connection may have been closed and pool_put */
{
tc = tcp_connection_get (index, thread_index);
/* Note: the connection may have been closed and pool_put */