57a40e9576
Switch from synchronous to asynchronous UDP transmission, in case DNS resolution takes a long time or fails. Specifically, in case of failure, previously the UDP actor would crash, whereas now the packet is just "dropped". |
||
---|---|---|
.. | ||
config.rkt | ||
filesystem.rkt | ||
gui.rkt | ||
irc.rkt | ||
line-reader.rkt | ||
smtp.rkt | ||
tcp.rkt | ||
tcp2.rkt | ||
timer.rkt | ||
timestate.rkt | ||
udp.rkt | ||
web.rkt | ||
websocket.rkt |