mirror of
https://github.com/digital-asset/daml.git
synced 2024-09-20 09:17:43 +03:00
91af9023e7
Fixes termination of WebSocket streams when the client sends a close-frame. The problem was that upstream completion (i.e. termination on the client-side of WebSocket streams) does not propagate to infinitely-running substreams. This PR propagates the upstream completion explicitly to all substreams using a kill-switch. |
||
---|---|---|
.. | ||
cli-opts | ||
db-backend | ||
fetch-contracts | ||
http-json | ||
http-json-cli | ||
http-json-ledger-client | ||
http-json-oracle | ||
http-json-perf | ||
http-json-testing | ||
lf-value-json | ||
metrics | ||
pureconfig-utils | ||
utils |