From bee34c791776124499d7a2aaef9f74fd7c6ac515 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Thu, 12 Dec 2019 13:38:21 +0100
Subject: [PATCH] [Server] Normalize the file names.
---
src/plugins/server/kernel_project.ml | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/src/plugins/server/kernel_project.ml b/src/plugins/server/kernel_project.ml
index 2982af38085..532a7b34f77 100644
--- a/src/plugins/server/kernel_project.ml
+++ b/src/plugins/server/kernel_project.ml
@@ -130,6 +130,9 @@ let () =
~page ~name:"kernel.project.getSourceFileNames"
~descr:(Md.plain "Get the source file names of the current project")
~input:(module Junit) ~output:(module Jstring.Jlist)
- Kernel.Files.get
+ (fun () ->
+ List.map
+ (fun fname -> (Filepath.Normalized.of_string fname :> string))
+ (Kernel.Files.get ()))
(* -------------------------------------------------------------------------- *)
--
GitLab