diff options
| author | Andrew Whatson <whatson@tailcall.au> | 2023-04-24 23:16:14 +1000 |
|---|---|---|
| committer | David Thompson <dthompson2@worcester.edu> | 2023-05-07 11:56:59 -0400 |
| commit | 025a207ada92d016e9ca67149cf8643fadfd6b88 (patch) | |
| tree | 4b85a30359a2c5c887a64832436a1cf3d92c3df6 /bootstrap | |
| parent | f4461bef9e7b1795c85e55d423f7e20e5b6552dc (diff) | |
client: Support read timeouts on receive & close.
* web/socket/client.scm (close-websocket): Add timeout parameter. Call
read-close-frame with timeout.
(websocket-receive): Add timeout parameter. Call read-data-frame with
timeout. Don't close the websocket on timeout.
* web/socket/frame.scm (port-readable?, port-writable?, frame-reader):
New helper procedures.
(read-close-frame): New procedure.
(read-data-frame): Add timeout parameter. Use frame-reader to support a
composed read timeout.
Diffstat (limited to 'bootstrap')
0 files changed, 0 insertions, 0 deletions