Ensure that we always send a SIGTERM prior to SIGKILL to give child processes a chance to cleanup#2529

Merged

hppritcha merged 1 commit intoopen-mpi:v2.xfrom rhc54:cmr2x/signals

Dec 12, 2016

+90-78

Commits on Dec 6, 2016

Ensure that we always send a SIGTERM prior to SIGKILL to give child processes a chance to cleanup
Ralph Castain
committed