Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Make an option for file descriptor snapshot (off by default)
authorGabriel Corona <gabriel.corona@loria.fr>
Thu, 12 Feb 2015 10:21:37 +0000 (11:21 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Thu, 12 Feb 2015 13:53:23 +0000 (14:53 +0100)
commiteb261664cc90426f7dede99a570454748801a357
treec2ff242c66ed51edc4d7b0415fb44783d5f78d90
parent8ea96776d717d6510ddd3a2deba2fc1d7d5526e6
[mc] Make an option for file descriptor snapshot (off by default)

This option is currently not supported in client/server mode.
src/include/mc/mc.h
src/mc/mc_checkpoint.c
src/mc/mc_config.c
src/simgrid/sg_config.c