From e1e97e4791c2ec59508e1bce3de356d4216733c4 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 14 May 2020 16:08:20 +0200
Subject: [PATCH] [wp] Use Extlib.mkdir for session directory
---
src/plugins/wp/wp_parameters.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/wp/wp_parameters.ml b/src/plugins/wp/wp_parameters.ml
index 801be38dbfe..51394d3c145 100644
--- a/src/plugins/wp/wp_parameters.ml
+++ b/src/plugins/wp/wp_parameters.ml
@@ -1051,7 +1051,7 @@ let make_output_dir dir =
else
begin
try
- Unix.mkdir dir 0o770 ;
+ Extlib.mkdir ~parents:true dir 0o770 ;
debug ~dkey "Created output directory '%s'" dir
with Unix.Unix_error (err,_,_) ->
let msg = Unix.error_message err in
--
GitLab