From 98cff65e9cd63d5efbbb10170dae58ff18ec6747 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Fri, 22 Sep 2017 18:37:07 +0200
Subject: [PATCH] Set (accidentally removed) SOCK_CLOEXEC again.

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

diff --git a/src/mc/Session.cpp b/src/mc/Session.cpp
index 92b8d6376f..ce79e7c120 100644
--- a/src/mc/Session.cpp
+++ b/src/mc/Session.cpp
@@ -140,7 +140,7 @@ Session* Session::fork(std::function<void()> code)
   // process:
   int res;
   int sockets[2];
-  res = socketpair(AF_LOCAL, SOCK_SEQPACKET, 0, sockets);
+  res = socketpair(AF_LOCAL, SOCK_SEQPACKET | SOCK_CLOEXEC, 0, sockets);
   if (res == -1)
     throw simgrid::xbt::errno_error("Could not create socketpair");
 
-- 
2.20.1