Muli Ben-Yehuda wrote:
how about replacing the signal with e.g. a pipe? i.e. fork twice, have
the first son share a pipe with the father, then fork & exec the ping,
and wait on it. Once the ping returns, write to the pipe. In the
father, select on the pipe with the timeout you want. No async events
(signals), no race...
Cheers,
Muli
True, but if I'm going to have three processes, I have already suggested
a solution that is pipeless. Then again, I think we have a jackpot here
after all, but it goes to Ehud and Oron.
Shachar
--
Shachar Shemesh
Lingnu Open Source Consulting ltd.
http://www.lingnu.com/
=================================================================
To unsubscribe, send mail to [EMAIL PROTECTED] with
the word "unsubscribe" in the message body, e.g., run the command
echo unsubscribe | mail [EMAIL PROTECTED]
