diff options
| author | Alban Gruin | 2022-02-05 15:11:30 +0100 |
|---|---|---|
| committer | Alban Gruin | 2022-02-05 15:17:16 +0100 |
| commit | 216ca76fc3518d5369b3501822a22cd712dec548 (patch) | |
| tree | b5f9ee5f3e465db259de9429c237b772ecb2a96e /src/pages.mli | |
| parent | fd98d82477140a33fca1f7b5057c3c014f75dbbe (diff) | |
server: extract the function reading the module id and groups
A new function, listing events with no location, will also need to read
the module id and groups from request parameters. Extract the function
taking care of that to avoid code duplication.
This also adds a button on the link page, to access to the page listing
events without location. This feature is not yet implemented.
Signed-off-by: Alban Gruin <alban at pa1ch dot fr>
Diffstat (limited to 'src/pages.mli')
| -rw-r--r-- | src/pages.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/pages.mli b/src/pages.mli index 0e2180e..4618faf 100644 --- a/src/pages.mli +++ b/src/pages.mli @@ -1,5 +1,5 @@ (* - * Copyright (C) 2020, 2021 Alban Gruin + * Copyright (C) 2020 -- 2022 Alban Gruin * * ucs is free software: you can redistribute it and/or modify * it under the terms of the GNU Affero General Public License as published @@ -16,5 +16,5 @@ *) val main : string -val link : string -> string +val link : ?args:(string * string list) -> string -> string val select : string -> string Seq.t -> string |