CTL_STATUS_t ctl_tcp_push(CTL_SOCKET_t s);
ctl_tcp_push sends any data queued on socket s to the network layer for transmission. Socket s must first be in the connected state, CTL_TCP_SOCKET_STATE_CONNECTED, or ctl_tcp_push fails.
ctl_tcp_push is equivalent to calling ctl_tcp_send with no data and the push flag set.