Minor changes to proc_restartcore()