> -----Ursprüngliche Nachricht-----
> Von: Ruediger Pluem 
> 
> BTW: Don't we need to reset checked_standby and 
> checking_standby to zero in
>      the outer while loop?

What about this? I guess we don't enter the inner while loop a second time
because checked_standby > 0 once we have checked for the standby workers
during the first time.

Regards

Rüdiger

Reply via email to