Commit d795947e authored by Stephane Glondu's avatar Stephane Glondu

Make the root a redirection to admin

parent 3aa505dc
...@@ -233,7 +233,7 @@ let archive_election uuid_s = ...@@ -233,7 +233,7 @@ let archive_election uuid_s =
let () = Any.register ~service:home let () = Any.register ~service:home
(fun () () -> (fun () () ->
Eliom_reference.unset Web_state.cont >> Eliom_reference.unset Web_state.cont >>
T.home () >>= Html5.send Redirection.send admin
) )
let get_finalized_elections_by_owner u = let get_finalized_elections_by_owner u =
......
...@@ -32,7 +32,6 @@ open Eliom_content.Html5.F ...@@ -32,7 +32,6 @@ open Eliom_content.Html5.F
(* TODO: these pages should be redesigned *) (* TODO: these pages should be redesigned *)
let site_title = "Election Server" let site_title = "Election Server"
let welcome_message = "Welcome to the Belenios system!"
let admin_background = " background: #FF9999;" let admin_background = " background: #FF9999;"
let format_user ~site u = let format_user ~site u =
...@@ -167,36 +166,6 @@ let format_election election = ...@@ -167,36 +166,6 @@ let format_election election =
a ~service [pcdata e.e_name] (e.e_uuid, ()); a ~service [pcdata e.e_name] (e.e_uuid, ());
] ]
let home () =
let loria = Eliom_service.Http.external_service
~prefix:"http://www.loria.fr"
~path:[]
~get_params:Eliom_parameter.unit
()
in
let content = [
div [
h2 ~a:[a_style "text-align:center;"] [pcdata welcome_message];
h3 [a ~service:admin [pcdata "Administer elections"] ()];
div [br ()];
div [
pcdata "Belenios is an electronic voting system developed at ";
a ~service:loria [pcdata "LORIA"] ();
pcdata ". It provides both confidentiality of the votes and ";
pcdata "end-to-end verifiability of the result. Verifiability ";
pcdata "relies in particular on the fact that the ballots are ";
pcdata "stored on a public ballot box (on a webpage), so that ";
pcdata "voters can check the presence of their ballots. Similarly, ";
pcdata "anyone can check that the published result corresponds to ";
pcdata "the contents of the ballot box. More information and ";
pcdata "discussion can be found on the ";
a ~service:belenios_url [pcdata "Belenios web page"] ();
pcdata ".";
];
];
] in
base ~title:site_title ~content ()
let admin ~elections () = let admin ~elections () =
let title = site_title ^ " — Administration" in let title = site_title ^ " — Administration" in
match elections with match elections with
......
...@@ -23,7 +23,6 @@ open Serializable_t ...@@ -23,7 +23,6 @@ open Serializable_t
open Web_serializable_t open Web_serializable_t
open Signatures open Signatures
val home : unit -> [> `Html ] Eliom_content.Html5.F.elt Lwt.t
val admin : elections:((module ELECTION_DATA) list * (module ELECTION_DATA) list * (module ELECTION_DATA) list * (Uuidm.t * string) list) option -> unit -> [> `Html ] Eliom_content.Html5.F.elt Lwt.t val admin : elections:((module ELECTION_DATA) list * (module ELECTION_DATA) list * (module ELECTION_DATA) list * (Uuidm.t * string) list) option -> unit -> [> `Html ] Eliom_content.Html5.F.elt Lwt.t
val new_election_failure : [ `Exists | `Exception of exn ] -> unit -> [> `Html ] Eliom_content.Html5.F.elt Lwt.t val new_election_failure : [ `Exists | `Exception of exn ] -> unit -> [> `Html ] Eliom_content.Html5.F.elt Lwt.t
......
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