I have a hunch this just deadlocked the windows bots. Due to UDP being a lossy protocol, I don't think we can guarantee that the server can receive both packets, so just listen for one of them. |
||
|---|---|---|
| .. | ||
| addrinfo.rs | ||
| ip.rs | ||
| mod.rs | ||
| tcp.rs | ||
| udp.rs | ||
| unix.rs | ||
I have a hunch this just deadlocked the windows bots. Due to UDP being a lossy protocol, I don't think we can guarantee that the server can receive both packets, so just listen for one of them. |
||
|---|---|---|
| .. | ||
| addrinfo.rs | ||
| ip.rs | ||
| mod.rs | ||
| tcp.rs | ||
| udp.rs | ||
| unix.rs | ||