From ca15ad69040af287d3efb3b6bcd9e70cea313b63 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Tue, 13 Oct 2020 11:17:42 +0200
Subject: [PATCH] [Filepath] robustify to_base_uri
---
src/libraries/utils/filepath.ml | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/libraries/utils/filepath.ml b/src/libraries/utils/filepath.ml
index 6195b004be9..15d910ad817 100644
--- 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
--
GitLab