commit | ee5dc46fee6de72dbfd14de447ccf18d9fb9cd7a | [log] [download] |
---|---|---|
author | Hisham Muhammad <hisham@gobolinux.org> | Tue Feb 26 20:24:27 2013 +0000 |
committer | Hisham Muhammad <hisham@gobolinux.org> | Tue Feb 26 20:24:27 2013 +0000 |
tree | 4324d0c21db3b255198b681e836a360b7b0f2123 | |
parent | a0810561f3bb86910ce0f43d9d673d29c576fcbb [diff] |
Don't end up killing init if process selected to be killed terminates before the user selects a signal. Closes #3606072.