search for: c7b766dd0

Displaying 1 result from an estimated 1 matches for "c7b766dd0".

2017 Oct 17
1
[PATCH] daemon: simplify usage of Chroot.f
...ll_file filename) () in + let lines = Chroot.f chroot read_small_file filename in let lines = match lines with None -> raise Not_found | Some lines -> lines in let rec loop = function diff --git a/daemon/inspect_fs_windows.ml b/daemon/inspect_fs_windows.ml index 78af7f048..c7b766dd0 100644 --- a/daemon/inspect_fs_windows.ml +++ b/daemon/inspect_fs_windows.ml @@ -84,7 +84,7 @@ and get_windows_systemroot () = and get_windows_systemroot_from_boot_ini boot_ini_path = let chroot = Chroot.create ~name:"get_windows_systemroot_from_boot_ini" () in - let lines = Chroot...