<tt><font size=2>Zane Bitter <zbitter@redhat.com> wrote on 03/17/2014
07:03:25 PM:<br>
<br>
> On 17/03/14 17:03, Ton Ngo wrote:<br>
<br>
> > - How to handle resources with timer, e.g. wait condition:  pause/resume<br>
> > timer value<br>
> <br>
> Handle it by only allowing pauses before and after. In most cases
I'm <br>
> not sure what it would mean to pause _during_.<br>
</font></tt>
<br><tt><font size=2>I'm not sure I follow this part.  If at some
time a timer is started, and the event(s) upon which it is waiting are
delayed by hitting a breakpoint and waiting for human interaction --- I
think this is the scenario that concerned Ton.  It seems to me the
right answer is that all "downstream" timers have to stop ticking
between break and resume.</font></tt>
<br>
<br><tt><font size=2>Regards,</font></tt>
<br><tt><font size=2>Mike</font></tt>