From d4eb59f37ab34db36634abf276813b60e0c3e199 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Tue, 27 Oct 2020 08:30:04 +0100
Subject: [PATCH] Avoid one use of Unsafe.data

---
 src/web/pages_voter.ml | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/src/web/pages_voter.ml b/src/web/pages_voter.ml
index cb6ed0c..a03a220 100644
--- a/src/web/pages_voter.ml
+++ b/src/web/pages_voter.ml
@@ -882,9 +882,12 @@ let majority_judgment q r =
           ]
       ) explicit_winners
   in
-  let spoiled = "data:application/json," ^ string_of_mj_ballots r.mj_spoiled in
-  let spoiled = "<a href=\"" ^ spoiled ^ "\">" ^ s_ "Spoiled ballots" ^ "</a>" in
-  let spoiled = Unsafe.data spoiled in
+  let spoiled () = "data:application/json," ^ string_of_mj_ballots r.mj_spoiled in
+  let spoiled = uri_of_string spoiled in
+  let spoiled =
+    Eliom_content.Html.F.Raw.a ~a:[a_href spoiled]
+      [txt (s_ "Spoiled ballots")]
+  in
   let content =
     [
       div [
-- 
GitLab