diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2026-03-14 10:02:24 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2026-03-14 10:02:24 +0100 |
| commit | 9b150c9142f644877de81e3d8e1dc92597793738 (patch) | |
| tree | f1bb3cbba134cd014adf25eef9c49f2d274acc15 /src/Storage/WatchList.hs | |
| parent | ed6f93713864acbcea7f049653e76438d2c34400 (diff) | |
Drop websocket peer when connection is closed
Diffstat (limited to 'src/Storage/WatchList.hs')
0 files changed, 0 insertions, 0 deletions