robur/builder-web
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Document assumption

Browse source
This commit is contained in:
Reynir Björnsson 2020-12-22 13:45:54 +01:00
parent f2ab0d797f
commit dd55491138
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
lib/builder_web.ml
View file

@ -64,6 +64,9 @@ let routes (t : Model.t) =
let job = Router.param req "job" let job = Router.param req "job"
and run = Router.param req "run" and run = Router.param req "run"
and file = Router.splat req |> String.concat "/" in and file = Router.splat req |> String.concat "/" in
(* XXX: We don't check safety of [file]. This should be fine however since
* we don't use [file] for the filesystem but is instead used as a key for
* lookup in the data table of the 'full' file. *)
match safe_seg job, safe_seg run, Fpath.of_string file with match safe_seg job, safe_seg run, Fpath.of_string file with
| Error (`Msg e), _, _ | _, Error (`Msg e), _ | _, _, Error (`Msg e) -> | Error (`Msg e), _, _ | _, Error (`Msg e), _ | _, _, Error (`Msg e) ->
Log.debug (fun m -> m "bad path: %s" e); Log.debug (fun m -> m "bad path: %s" e);