diff options
Diffstat (limited to 'portal/lib')
| -rw-r--r-- | portal/lib/portal.mli | 2 | ||||
| -rw-r--r-- | portal/lib/ws/portal.ml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/portal/lib/portal.mli b/portal/lib/portal.mli index 7b8a30a..4d7918f 100644 --- a/portal/lib/portal.mli +++ b/portal/lib/portal.mli @@ -1,6 +1,6 @@ open Markup -type t = string Lwt_stream.t * (string option -> unit) +type t = async parser * (signal option -> unit) val stanza_open : ?from:string -> string -> (signal, sync) stream diff --git a/portal/lib/ws/portal.ml b/portal/lib/ws/portal.ml index 06f952f..b6a9f00 100644 --- a/portal/lib/ws/portal.ml +++ b/portal/lib/ws/portal.ml @@ -5,7 +5,7 @@ open Markup let jss = Js.string let sjs = Js.to_string -type t = string Lwt_stream.t * (string option -> unit) +type t = async parser * (signal option -> unit) (* sic. XEP-0156: "host-meta files MUST be fetched only over HTTPS". I don't make the rules. *) let well_known_of (domain : string) = "https://" ^ domain ^ "/.well-known/host-meta" |