1. Feb 23, 2018
  2. Feb 22, 2018
  3. Feb 21, 2018
  4. Feb 20, 2018
  5. Feb 17, 2018
  6. Feb 16, 2018
  7. Feb 15, 2018
    • Rudolf Polzer's avatar
      Fix handling terminated processes. · 107ec804
      Rudolf Polzer authored
      The old code did not handle processes being terminated by signals right,
      and basically waitpid() on them a second time, receiving ECHILD. This
      didn't cause any real bugs, but was nevertheless incorrect.
      107ec804