From dabfc1b07f6ae6df1331c92fafb1bcd358cab558 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Fri, 26 Aug 2022 14:48:09 +0200
Subject: [PATCH] Don't give write permissions to others with mkdir.

---
 src/instr/instr_config.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/instr/instr_config.cpp b/src/instr/instr_config.cpp
index e989fd457e..cec90b8be2 100644
--- a/src/instr/instr_config.cpp
+++ b/src/instr/instr_config.cpp
@@ -279,7 +279,7 @@ static void on_container_creation_ti(const Container& c)
 #ifdef WIN32
     _mkdir(folder_name.c_str());
 #else
-    mkdir(folder_name.c_str(), S_IRWXU | S_IRWXG | S_IRWXO);
+    mkdir(folder_name.c_str(), S_IRWXU | S_IRWXG | S_IROTH | S_IXOTH);
 #endif
     ti_unique_file = new std::ofstream(filename.c_str(), std::ofstream::out);
     xbt_assert(not ti_unique_file->fail(), "Tracefile %s could not be opened for writing", filename.c_str());
-- 
2.20.1