[Filepath] robustify to_base_uri

ca15ad69 · Andre Maroneze · Virgile Prevosto · 17b9a5b7 · ca15ad69
Commit ca15ad69 authored Oct 13, 2020 by Andre Maroneze 💬 Committed by Virgile Prevosto Oct 19, 2020
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 1 deletion

src/libraries/utils/filepath.ml src/libraries/utils/filepath.ml +3 -1

No files found.
--- a/src/libraries/utils/filepath.ml
+++ b/src/libraries/utils/filepath.ml
@@ -286,7 +286,9 @@ module Normalized = struct
        Buffer.contents buf in
      let uri =
        try
-          String.sub uri 1 (String.length uri - 1)
+          if String.get uri 0 = '/' then
+            String.sub uri 1 (String.length uri - 1)
+          else uri
        with Invalid_argument _ -> uri
      in
      res, uri