rAKA/src/common/manual_restart.cc

bugfixes/ci_deploy_fixesda7634292119a0edbafa9ad…