diff options
| author | Alban Gruin | 2021-09-19 12:20:04 +0200 |
|---|---|---|
| committer | Alban Gruin | 2021-09-19 12:39:08 +0200 |
| commit | d489f3743cca9e6fb3dddbf10bbcb1e188b09f0b (patch) | |
| tree | 75439abc69295dff3702f1bd3e663e86eb56fb38 /src/ics.mli | |
| parent | 9a84c508cd498c4331e35407f1da192fff8a6d19 (diff) | |
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 <alban at pa1ch dot fr>
Diffstat (limited to 'src/ics.mli')
| -rw-r--r-- | src/ics.mli | 1 |
1 files changed, 1 insertions, 0 deletions
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 |