Boost logo

Boost-Build :

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
> rest.

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?

B.


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