]> git.tuebingen.mpg.de Git - dss.git/commitdiff
Invalidate create_pid if create process has died.
authorAndre Noll <maan@systemlinux.org>
Fri, 16 Apr 2010 11:39:28 +0000 (13:39 +0200)
committerAndre Noll <maan@systemlinux.org>
Fri, 16 Apr 2010 11:39:28 +0000 (13:39 +0200)
We're checking create_pid against zero at several places, for example before
sending a signal to the create process. So set create_pid is zero in
handle_sigchld() if the create process just died.


No differences found