diff options
author | Clombrong <cromblong@egregore.fun> | 2025-06-25 11:20:04 +0200 |
---|---|---|
committer | Clombrong <cromblong@egregore.fun> | 2025-06-25 11:20:30 +0200 |
commit | 100b8ef0782844881e25d10f0b0f12d78e33771e (patch) | |
tree | 2c1701a609f2f86b970f2567877976f85756b420 /portal/tcp | |
parent | 31f96c0f04df6265bc26edaceaf7881451dc85bb (diff) |
feat(portal): new tcp portal module
Diffstat (limited to 'portal/tcp')
-rw-r--r-- | portal/tcp/dune | 3 | ||||
-rw-r--r-- | portal/tcp/portal_tcp.ml | 5 |
2 files changed, 8 insertions, 0 deletions
diff --git a/portal/tcp/dune b/portal/tcp/dune new file mode 100644 index 0000000..43366c0 --- /dev/null +++ b/portal/tcp/dune @@ -0,0 +1,3 @@ +(library + (name portal_tcp) + (libraries lwt markup markup-lwt)) diff --git a/portal/tcp/portal_tcp.ml b/portal/tcp/portal_tcp.ml new file mode 100644 index 0000000..3bf34a7 --- /dev/null +++ b/portal/tcp/portal_tcp.ml @@ -0,0 +1,5 @@ +let tcp_endpoint (_domain : string) : int = 5222 + (** [tcp_endpoint domain] is the port where [domain]'s XMPP server is hosted. + + Currently, it falls back to 5222 (always), but should use SRV records in the near + future. *) |