diff options
Diffstat (limited to 'src/pages.ml')
-rw-r--r-- | src/pages.ml | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/src/pages.ml b/src/pages.ml index 2cb0aa4..feb2769 100644 --- a/src/pages.ml +++ b/src/pages.ml @@ -48,6 +48,11 @@ let main = common {| <input type="text" name="group" id="id_group" required /> <input type="submit" value="Générer un ICS" /> </form> + <form action="/filter" method="get"> + <label for="id_module">ID du module</label> + <input type="text" name="module" id="id_module" required /> + <input type="submit" value="Générer un ICS" /> + </form> </section> <section> <p> @@ -99,3 +104,18 @@ let link lnk = <a href="|} ^ lnk ^ {|">|} ^ lnk ^ {|</a> </section> |} + +let select module_id groups = + let options = + Seq.map (fun group -> " <option>" ^ escape group ^ "</option>") groups + |> List.of_seq + |> String.concat "\n" in + common @@ {| + <form method="post" action="/lnk"> + <select name="groups" multiple> +|} ^ options ^ {| + </select> + <input type="hidden" name="module" value="|} ^ module_id ^ {|" /> + <input type="submit" text="Valider" /> + </form> +|} |