Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Fix PID mismatch in snapshot
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 1 Mar 2016 10:25:29 +0000 (11:25 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 1 Mar 2016 12:32:46 +0000 (13:32 +0100)
commit9e5c489403d8664b08432e2befd27c41e3edc17c
treefa658a60574bcd5ec0ce590291ad77fa6064d988
parent4e555db0f780e74b995c53aaaa463b5d55fd2371
[mc] Fix PID mismatch in snapshot

I was passing the simulated process PID instead of the native process
PID when taking file descriptor snapshots. File descriptor snapshots
is currently not tested and not fully functional.
src/mc/mc_checkpoint.cpp