aboutsummaryrefslogtreecommitdiff
path: root/src/pages.ml
diff options
context:
space:
mode:
Diffstat (limited to 'src/pages.ml')
-rw-r--r--src/pages.ml20
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>
+|}