Flush output buffer in send_tcppacket().
[tinc] / src / vde /
drwxr-xr-x   ..
-rw-r--r-- 3356 device.c