From 795ebdcbfc239bdc6e519d2ede496c3e977c63bb Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 22 Oct 2019 17:42:13 +0200
Subject: [PATCH] [server] don't try to re-create an existing directory
---
src/plugins/server/doc.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/server/doc.ml b/src/plugins/server/doc.ml
index e99ce3bd631..791434e1fe7 100644
--- a/src/plugins/server/doc.ml
+++ b/src/plugins/server/doc.ml
@@ -164,7 +164,7 @@ let metadata page : json =
let pp_one_page ~root ~page ~title body =
let full_path = Filepath.normalize (root ^ "/" ^ page) in
let dir = Filename.dirname full_path in
- Extlib.mkdir ~parents:true dir 0o755;
+ if not (Sys.file_exists dir) then Extlib.mkdir ~parents:true dir 0o755;
try
let chan = open_out full_path in
let fmt = Format.formatter_of_out_channel chan in
--
GitLab