[SMPI] die() if memory map is not readable.

diff --git a/src/xbt/memory_map.cpp b/src/xbt/memory_map.cpp
index 56349c4..cd1ca7b 100644 (file)
--- a/src/xbt/memory_map.cpp
+++ b/src/xbt/memory_map.cpp
@@ -34,9 +34,10 @@ XBT_PRIVATE std::vector<VmMap> get_memory_map(pid_t pid)
   /* to be returned. */
   char* path = bprintf("/proc/%i/maps", (int) pid);
   FILE *fp = std::fopen(path, "r");
   /* to be returned. */
   char* path = bprintf("/proc/%i/maps", (int) pid);
   FILE *fp = std::fopen(path, "r");

-  if(fp == nullptr)
+  if (fp == nullptr) {

     std::perror("fopen failed");
     std::perror("fopen failed");

-  xbt_assert(fp, "Cannot open %s to investigate the memory map of the process.", path);
+    xbt_die("Cannot open %s to investigate the memory map of the process.", path);
+  }

   free(path);
   setbuf(fp, nullptr);
 
   free(path);
   setbuf(fp, nullptr);