Fix missmatch between kill and interrupt
Fix magma-restart not working if the process was already dead