I'm basically sold on Damian's conclusions. On the other hand the 'otherwise' clause still feels to me like a CAPITALS block.
So, as a tweak, I suggest: while condition() { ... } NONE { ... } -- ralph
I'm basically sold on Damian's conclusions. On the other hand the 'otherwise' clause still feels to me like a CAPITALS block.
So, as a tweak, I suggest: while condition() { ... } NONE { ... } -- ralph