<div class="gmail_quote">On 14 January 2010 14:57, Rafael Espindola <span dir="ltr"><<a href="mailto:espindola@google.com">espindola@google.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">

<div class="im">> I gave this a shot:<br>
><br>
>   TimedExec.sh 1 . sleep 10<br>
><br>
> and found that it slept for 10 seconds, not 1. I think we may need to change<br>
> how TimedExec.sh works to make it support Linux.<br>
<br>
</div>Yes, I noticed that too. The attached patch fixes it by using the CONT<br>
signal instead of INFO. I tested that it does kill after the specified<br>
timeout.<br></blockquote><div><br>Could you explain this to me? Why does this make a difference?<br> </div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">



I am currently running the test-suite. Lets hope it completes this time :-)<br>
<br>
> Nick<br>
<div><div></div><div class="h5">><br>
<br>
Cheers,<br>
--<br>
Rafael Ávila de Espíndola<br>
</div></div></blockquote></div><br>