Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit a83faf92 authored by Stephane Glondu's avatar Stephane Glondu

Add RANDOM parameter to Web_election.Make

parent b7069e5d
......@@ -32,13 +32,12 @@ open Web_services
let ( / ) = Filename.concat
module Make (D : ELECTION_DATA) (P : WEB_PARAMS) : WEB_ELECTION = struct
module Make (D : ELECTION_DATA) (P : WEB_PARAMS) (M : RANDOM with type 'a t = 'a Lwt.t) : WEB_ELECTION = struct
let uuid = Uuidm.to_string D.election.e_params.e_uuid
include D
include P
module M = MakeLwtRandom(struct let rng = make_rng () end)
module E = Election.MakeElection(G)(M)
module B : WEB_BALLOT_BOX = struct
......
......@@ -25,4 +25,4 @@ open Signatures
open Web_serializable_t
open Web_signatures
module Make (D : ELECTION_DATA) (P : WEB_PARAMS) : WEB_ELECTION
module Make (D : ELECTION_DATA) (P : WEB_PARAMS) (M : RANDOM with type 'a t = 'a Lwt.t) : WEB_ELECTION
......@@ -90,7 +90,7 @@ let register_election params web_params =
}
end in
let module P = (val web_params : WEB_PARAMS) in
let module W = Web_election.Make (D) (P) in
let module W = Web_election.Make (D) (P) (LwtRandom) in
let election = (module W : WEB_ELECTION) in
fun () ->
(* starting from here, we do side-effects on the running server *)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment