Source file server.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
open Lwt.Infix

module type S = sig
  include Cohttp_lwt.S.Server

  val callback : t -> IO.conn -> unit Lwt.t
end

module Flow (F : Mirage_flow.S) = struct
  module Channel = Mirage_channel.Make (F)
  module HTTP_IO = Io.Make (Channel)
  module Input_channel = Input_channel.Make (Channel)
  include Cohttp_lwt.Make_server (HTTP_IO)

  let callback spec flow =
    let ch = Channel.create flow in
    Lwt.finalize
      (fun () -> callback spec flow (Input_channel.create ch) ch)
      (fun () -> Channel.close ch >|= fun _ -> ())
end

module Make (S : Conduit_mirage.S) = struct
  include Flow (S.Flow)

  let listen s conf t = S.listen s conf (callback t)
end