aboutsummaryrefslogtreecommitdiff
path: root/src/pages.ml
diff options
context:
space:
mode:
Diffstat (limited to 'src/pages.ml')
-rw-r--r--src/pages.ml21
1 files changed, 19 insertions, 2 deletions
diff --git a/src/pages.ml b/src/pages.ml
index e9f255a..6fd7bef 100644
--- a/src/pages.ml
+++ b/src/pages.ml
@@ -99,14 +99,31 @@ d’Apple), et ainsi attirer plus d’utilisateurs ? -->
</section>
|}
-let link lnk =
+let link ?args lnk =
let lnk = escape lnk in
+ let form = match args with
+ | Some (module_id, groups) ->
+ let group_fields =
+ List.map (fun group ->
+ Printf.sprintf " <input type=\"hidden\" name=\"groups\" value=\"%s\" />" (escape group))
+ groups
+ |> String.concat "\n" in
+ {| <section>
+ <h3>Trouver les cours sans salle</h3>
+ <form method="post" action="/empty">
+ <input type="hidden" name="module" value="|} ^ module_id ^ {|" />
+|} ^ group_fields ^ {|
+ <input type="submit" value="Trouver les cours sans salle" />
+ </form>
+ </section>
+|}
+ | _ -> "" in
common @@ {|
<section>
<h3>Lien de l'emploi du temps</h3>
<a href="|} ^ lnk ^ {|">|} ^ lnk ^ {|</a>
</section>
-|}
+|} ^ form
let select module_id groups =
let options =