diff --git a/src/slurmd/mgr.c b/src/slurmd/mgr.c index c4fca76c5d1ca0d57231186b2f85decf347962ca..8bf45e24017f95170d927a091599a20ec220ac37 100644 --- a/src/slurmd/mgr.c +++ b/src/slurmd/mgr.c @@ -766,10 +766,15 @@ _wait_for_session(slurmd_job_t *job) done: if (WIFSIGNALED(status)) { + + error ("slurmd session manager killed by signal %d", + WTERMSIG(status)); + /* * Make sure all processes in session are dead */ - killpg(job->smgr_pid, SIGKILL); + if (job->smgr_pid > (pid_t) 0) + killpg(job->smgr_pid, SIGKILL); return ESLURMD_SESSION_KILLED; }