aboutsummaryrefslogtreecommitdiff
path: root/portal/tcp/portal_tcp.ml
blob: 37a3065c787318de809d6c544280c471a954ca64 (plain) (blame)
1
2
3
4
5
let xmpp_port (_domain : string) : int = 5222
  (** [xmpp_port 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. *)