From: Bronek Kozicki (brok_at_[hidden])
Date: 2006-06-26 10:24:07
Bronek Kozicki wrote:
> The problem is that there might be processes "orphaned"
> by the one that just exited. Any next process may receive the same
> process id, and I know no way to distinguish orphaned process from the
well, actually there could be a way - we can read process creation time and
compare child with its alleged parent. If child was "born before its parent"
then obviously child had different parent who already exited, thus is an
orphan. I can implement this feature. Opinions?
Boost-Build list run by bdawes at acm.org, david.abrahams at rcn.com, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk