aboutsummaryrefslogtreecommitdiff
path: root/portal
Commit message (Collapse)AuthorAgeFilesLines
* feat!(portal): remove domain field from Portal.header (useless now)Clombrong8 days3-4/+4
|
* feat(portal): add domain to portal typeClombrong8 days3-2/+5
|
* feat(portal): add opaque domain type to portalClombrong8 days3-2/+20
|
* feat(portal_tcp): implement retry in socket connectionClombrong2025-06-301-1/+9
|
* feat(portal_tcp): schedule buffer flushes on free timeClombrong2025-06-291-1/+7
| | | | i can't believe this speeds up code by a factor of 2
* fix(portal_tcp): change second parameter of proxy to be the lengthClombrong2025-06-291-1/+1
|
* fix(portal_tcp): stop choking on input under 7 bytesClombrong2025-06-291-1/+1
|
* feat(portal): add _encrypted functionClombrong2025-06-293-0/+9
|
* style(portal_tcp): de-uglify starttls functionClombrong2025-06-291-6/+3
|
* fix(portal_tcp): fix TLS error messageClombrong2025-06-291-2/+2
|
* fix(portal_tcp): remove closeClombrong2025-06-291-3/+0
|
* fix(portal): remove close stanza, and use push None to close streamsClombrong2025-06-291-7/+2
|
* feat(portal_ws): send close stanza after pushing NoneClombrong2025-06-291-2/+11
|
* feat(portal_tcp): send closing element when pushing NoneClombrong2025-06-291-1/+10
|
* style(portal_tcp): stream_to_socket: organize more clearlyClombrong2025-06-291-16/+25
|
* fix(portal_tcp): move stream rehydration to the header functionClombrong2025-06-292-8/+12
| | | | this fixes the annoying xml declaration bug
* chore(portal_tcp): move header and close to the bottom of the fileClombrong2025-06-292-47/+47
|
* feat(portal_tcp, portal_ws): throw MalformedStanza asynchronouslyClombrong2025-06-282-2/+2
|
* feat(portal): remove location in MalformedStanzaClombrong2025-06-283-7/+7
| | | | what were you gonna do with that information anyway?
* style(tcp_portal): remove some explicit Markup_lwtClombrong2025-06-281-1/+1
|
* fix(portal_tcp): resolve the comment incidentClombrong2025-06-281-1/+5
|
* feat(portal): add starttls to the Portal interfaceClombrong2025-06-281-0/+4
|
* feat(portal_ws): implement starttls functionClombrong2025-06-281-0/+2
|
* feat(portal_to_tcp): implement starttls functionClombrong2025-06-281-0/+12
|
* feat(portal_tcp): add upgrade_to_tls functionClombrong2025-06-282-1/+14
|
* feat(portal_tcp): add Tls variant to socket typeClombrong2025-06-282-2/+25
|
* feat(tcp_portal): send with Lwt_bytes instead of BuffersClombrong2025-06-281-24/+34
|
* feat(portal_tcp): adapt socket_to_stream to variant typeClombrong2025-06-281-26/+38
|
* refactor(portal_tcp): make socket type into a variantClombrong2025-06-281-3/+3
|
* style(portal_tcp): rename xml_ to outbound_Clombrong2025-06-281-4/+4
|
* fix(portal_tcp): eschew the horrible send_charClombrong2025-06-281-5/+21
|
* chore(portal_tcp): socket_to_stream: rename buffer into recv_bytesClombrong2025-06-281-3/+3
|
* fix(portal_tcp): reading from the socket handles errorsClombrong2025-06-281-1/+7
|
* chore(portal_tcp): add lwt ppxClombrong2025-06-281-1/+2
|
* fix(portal_tcp): create buffer only once in socket_to_streamClombrong2025-06-281-3/+2
|
* style(portal_tcp): make push function less uglyClombrong2025-06-281-5/+3
|
* chore(portal_tcp): remove Lwt_unix openClombrong2025-06-281-5/+5
|
* refactor(portal_tcp): file_descr_to_portal to socket_to_streamClombrong2025-06-281-6/+7
| | | | | | - rename file_descr_to_portal to socket_to_stream - function now returns a (stream, push) - adapt connect in consequence
* feat(portal): make fields of t mutableClombrong2025-06-273-9/+9
|
* refactor(portal_tcp): split tcp_stream into two functionsClombrong2025-06-271-35/+38
|
* docs(portal): document Portal.tClombrong2025-06-272-2/+6
|
* docs(portal): update docs for headerClombrong2025-06-271-3/+3
|
* docs(portal): add docstring to connectClombrong2025-06-271-0/+1
|
* feat(portal): make close a simple stanzaClombrong2025-06-273-6/+8
|
* feat(portal): add field in t for underlying socketClombrong2025-06-273-6/+9
|
* feat(portal): change type t into a recordClombrong2025-06-273-12/+21
|
* docs(portal): make comment less weirdClombrong2025-06-271-3/+1
|
* docs(portal_tcp): fix obsolete warningClombrong2025-06-271-3/+1
|
* fix(portal_ws): simplify frame grouping using Lwt_streamsClombrong2025-06-271-23/+17
|
* feat(portal): add socket typeClombrong2025-06-263-0/+6
|