diff options
| author | Clombrong <cromblong@egregore.fun> | 2025-08-17 16:58:21 +0200 |
|---|---|---|
| committer | Clombrong <cromblong@egregore.fun> | 2025-08-17 16:58:21 +0200 |
| commit | d7addba4ba9b34a70cf21bdf38d979a8f4bb8aea (patch) | |
| tree | b09901f320402827faa5a536d0af56a3aa1801b9 | |
| parent | 3a402f8dd6e2f6e2b35798ffae060ec4b45ab22c (diff) | |
fix(portal-ws): remove domain field from type
| -rw-r--r-- | portal/ws/portal.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/portal/ws/portal.ml b/portal/ws/portal.ml index df0672e..5afd725 100644 --- a/portal/ws/portal.ml +++ b/portal/ws/portal.ml @@ -23,7 +23,6 @@ let domain_of_string (s : string) : domain = s let domain_to_string (s : domain) : string = s type t = { - domain : domain; mutable stream : (signal, async) stream; mutable push : (signal, sync) stream option -> unit; mutable _socket : socket; |