Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Kill the MCed process if/when the MCer dies
authorGabriel Corona <gabriel.corona@loria.fr>
Fri, 10 Apr 2015 10:15:27 +0000 (12:15 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Fri, 10 Apr 2015 10:44:45 +0000 (12:44 +0200)
commit92afe9670ecc5246040dad7a9d6b805f9c8f84cb
treedbc804a6f6c985bb8700200dd88469b6e85f165d
parent4ccb50bf15bbe1f967b1232f2c56695bd6439d6e
[mc] Kill the MCed process if/when the MCer dies
src/mc/simgrid_mc.cpp