suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

io: fix udp-set-receive-buffer-size! error reporting

Browse Source
This commit is contained in:
Matthew Flatt 2019-01-14 08:56:57 -07:00
parent 75550e79cc
commit 8b9525f1c9
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
racket/src/io/network/udp-receive.rkt
View File

@ -6,6 +6,7 @@
"../sandman/main.rkt"
"../string/convert.rkt"
"../string/integer.rkt"
"../format/main.rkt"
"port-number.rkt"
"check.rkt"
"address.rkt"
@ -161,7 +162,7 @@
(define/who (udp-set-receive-buffer-size! u size)
(check who udp? u)
(check who exact-nonnegative-integer? size)
(check who exact-positive-integer? size)
(atomically
(check-udp-closed who u)
(unless (fixnum? size)