chiark / gitweb /
Better reporting of child exit statuses (esp. deaths due to signals).