From d489f3743cca9e6fb3dddbf10bbcb1e188b09f0b Mon Sep 17 00:00:00 2001 From: Alban Gruin Date: Sun, 19 Sep 2021 12:20:04 +0200 Subject: server, ics: add a facility to filter courses by groups When fetching courses based on their module ID, it is interesting to exclude coruses that do not apply to some groups. This adds the functionnality to apply that filtering, with the Ics.filter_groups function. It also becomes possible to get ICS for modules. URLs and generators are changed accordingly. Signed-off-by: Alban Gruin --- src/ics.mli | 1 + 1 file changed, 1 insertion(+) (limited to 'src/ics.mli') diff --git a/src/ics.mli b/src/ics.mli index ca09406..cdb00d8 100644 --- a/src/ics.mli +++ b/src/ics.mli @@ -26,4 +26,5 @@ end type t val make : Event.t list -> t +val filter_groups : string list -> t -> t val to_string : string -> t -> string -- cgit v1.2.1