Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
append / to mountpoint when generated
authorAugustin Degomme <adegomme@users.noreply.github.com>
Tue, 10 Dec 2019 19:11:45 +0000 (20:11 +0100)
committerAugustin Degomme <adegomme@users.noreply.github.com>
Tue, 10 Dec 2019 19:11:45 +0000 (20:11 +0100)
(fun fact, it works without it, /scratchtestfile is inside /scratch for us)

src/smpi/mpi/smpi_file.cpp

index 966a5fc..3e83739 100644 (file)
@@ -41,6 +41,7 @@ namespace smpi{
       else
         mount = disk->extension<simgrid::s4u::FileSystemDiskExt>()->get_mount_point();
       XBT_DEBUG("No absolute path given for file opening, use '%s'", mount.c_str());
+      mount.append("/");
       fullname.insert(0, mount);
     }