diff options
| author | Clombrong <cromblong@egregore.fun> | 2025-06-26 10:17:14 +0200 |
|---|---|---|
| committer | Clombrong <cromblong@egregore.fun> | 2025-06-26 10:17:14 +0200 |
| commit | 2402c5c9d027d13f864121bde1d8948c0d5efddc (patch) | |
| tree | 5b22e0e4bfd0c8541fe7c3c43b1baec4cbed1e8e /portal/portal.mli | |
| parent | 8dfcc88b45eeee9492321b9cf6e57cfcc809f00a (diff) | |
fix(portal): close socket only after all elements have been processed
Diffstat (limited to 'portal/portal.mli')
0 files changed, 0 insertions, 0 deletions