rktio: repair for UDP disconnect

This commit is contained in:
Matthew Flatt 2017-06-17 07:35:09 -06:00
parent 58f463ee1d
commit a3725374ca

View File

@ -1893,6 +1893,7 @@ static Scheme_Object *udp_bind_or_connect(const char *name, int argc, Scheme_Obj
if (SCHEME_FALSEP(argv[1]) && SCHEME_FALSEP(argv[2])) { if (SCHEME_FALSEP(argv[1]) && SCHEME_FALSEP(argv[2])) {
/* DISCONNECT */ /* DISCONNECT */
if (udp->connected) {
if (!rktio_udp_disconnect(scheme_rktio, udp->s)) { if (!rktio_udp_disconnect(scheme_rktio, udp->s)) {
scheme_raise_exn(MZEXN_FAIL_NETWORK, scheme_raise_exn(MZEXN_FAIL_NETWORK,
"%s: can't disconnect\n" "%s: can't disconnect\n"
@ -1900,6 +1901,7 @@ static Scheme_Object *udp_bind_or_connect(const char *name, int argc, Scheme_Obj
name); name);
} }
udp->connected = 0; udp->connected = 0;
}
return scheme_void; return scheme_void;
} }