]> git.tuebingen.mpg.de Git - dss.git/commit
projects / dss.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8ffc470) | patch
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)
commitb9a6fb9f7735a8a71d8704eb22a72c2f9f4973d5
treee1c63625524290dff325dce584dc806eb96d4d5atree | snapshot
parent8ffc47047c7a23d8da2f243b418646117b5af49fcommit | diff
Invalidate create_pid if create process has died.

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.
dss.c diff | blob | history
DSS - dyadic snapshot scheduler