rAKA/src/common/manual_restart.cc

bugfixes/broken_dumper_…da7634292119a0edbafa9ad…