* process.c (handle_child_signal): Fix crash; deleted pid.
commit2249012558e589b9382e068326116dbd909bbb81
authorPaul Eggert <eggert@cs.ucla.edu>
Mon, 19 Aug 2013 05:46:17 +0000 (18 22:46 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Mon, 19 Aug 2013 05:46:17 +0000 (18 22:46 -0700)
treed0dc21c14c5d642bef5da058c572655be954df07
parent51632863c2551d06415e541235d90c66fd3e8def
* process.c (handle_child_signal): Fix crash; deleted pid.

This was introduced by my 2013-08-12 fix for Bug#15035.

Fixes: debbugs:15106
src/ChangeLog
src/process.c