Right before checking in, I noticed that the same mistake could happen for ordinary loops:

while (1) { }
or
do { } while(0);

I just fixed in in both places in the identical way.


On Jan 28, 2010, at 8:50 AM, <cliffo...@...> <cliffo...@...> wrote:

On this one, I'll have to take your word for it. LGTM!

http://codereview.appspot.com/195084/show

--
Larry Gritz
l...@...