
19 Feb
2010
19 Feb
'10
3:18 p.m.
another comment on this case:
for(...){ begin_transaction{ if(something) break; //(1) }retry{ if(stop_trying) break; //(2) }end_retry_in_loop; }
it might be surprising to the user that (1) breaks the user loop, but (2) breaks the loop retrying the transaction. we could make (2) break the user loop with the same technique as is used for (1), but we need some way for the user to express he'd like to stop retrying the transaction, don't we?