diff options
Diffstat (limited to 'src/pages.ml')
-rw-r--r-- | src/pages.ml | 21 |
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 = |