aboutsummaryrefslogtreecommitdiff
path: root/portal/ws/portal.ml
Commit message (Collapse)AuthorAgeFilesLines
* feat!(portal): remove domain field from Portal.header (useless now)Clombrong9 days1-1/+1
|
* feat(portal): add domain to portal typeClombrong9 days1-1/+2
|
* feat(portal): add opaque domain type to portalClombrong9 days1-0/+6
|
* feat(portal): add _encrypted functionClombrong2025-06-291-0/+2
|
* feat(portal_ws): send close stanza after pushing NoneClombrong2025-06-291-2/+11
|
* feat(portal_tcp, portal_ws): throw MalformedStanza asynchronouslyClombrong2025-06-281-1/+1
|
* feat(portal): remove location in MalformedStanzaClombrong2025-06-281-4/+4
| | | | what were you gonna do with that information anyway?
* feat(portal_ws): implement starttls functionClombrong2025-06-281-0/+2
|
* feat(portal): make fields of t mutableClombrong2025-06-271-3/+3
|
* docs(portal): document Portal.tClombrong2025-06-271-2/+0
|
* feat(portal): make close a simple stanzaClombrong2025-06-271-2/+2
|
* feat(portal): add field in t for underlying socketClombrong2025-06-271-4/+5
|
* feat(portal): change type t into a recordClombrong2025-06-271-5/+8
|
* fix(portal_ws): simplify frame grouping using Lwt_streamsClombrong2025-06-271-23/+17
|
* feat(portal): add socket typeClombrong2025-06-261-0/+2
|
* feat(portal_tcp, portal_ws): error handling in negotiateClombrong2025-06-261-14/+12
|
* refactor(portal_ws): stanza_close to closeClombrong2025-06-261-1/+2
|
* refactor(portal_ws): stanza_open to headerClombrong2025-06-261-2/+17
|
* chore(portal_websockets): remove useless openClombrong2025-06-251-1/+0
|
* chore: move comments to correct locationClombrong2025-06-251-31/+30
|
* fix(portal_websockets): change failure messageClombrong2025-06-251-1/+1
|
* fix(portal_websockets): use Lwt exceptions to signal failureClombrong2025-06-251-4/+4
|
* feat(portal): remove lib/ subdirectoryClombrong2025-06-251-0/+145