aboutsummaryrefslogtreecommitdiff
path: root/portal/tcp
diff options
context:
space:
mode:
authorClombrong <cromblong@egregore.fun>2025-06-25 11:20:04 +0200
committerClombrong <cromblong@egregore.fun>2025-06-25 11:20:30 +0200
commit100b8ef0782844881e25d10f0b0f12d78e33771e (patch)
tree2c1701a609f2f86b970f2567877976f85756b420 /portal/tcp
parent31f96c0f04df6265bc26edaceaf7881451dc85bb (diff)
feat(portal): new tcp portal module
Diffstat (limited to 'portal/tcp')
-rw-r--r--portal/tcp/dune3
-rw-r--r--portal/tcp/portal_tcp.ml5
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. *)