fix UDP receive on Windows

When the received message is larger than the space available, it's
still received.
This commit is contained in:
Matthew Flatt 2014-12-18 10:50:31 -07:00
parent e7d29dee61
commit 95617a200b
2 changed files with 2 additions and 0 deletions

1
native-pkgs Submodule

@ -0,0 +1 @@
Subproject commit 2f116c1b64af3f980a403cb4b57051457b2a9c39

View File

@ -3704,6 +3704,7 @@ static int do_udp_recv(const char *name, Scheme_UDP *udp, char *bstr, intptr_t s
} else if (WAS_WSAEMSGSIZE(errid)) {
x = end - start;
errid = 0;
break;
} else if (WAS_EAGAIN(errid)) {
if (can_block) {
/* Block and eventually try again. */