<div class="gmail_quote">2009/5/6 Alexander Belchenko <span dir="ltr"><<a href="mailto:bialix@ukr.net">bialix@ukr.net</a>></span><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="im">
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
2009/5/6 John Arbash Meinel <<a href="mailto:john@arbash-meinel.com" target="_blank">john@arbash-meinel.com</a>>:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
I think we could<br>
<br>
1) Insert a small wait loop after the process goes away to see if it<br>
releases the file. This will help fix transient things. We could try<br>
every 100ms or so, for a max of 1s.<br>
</blockquote></blockquote>
<br></div>
For diff there will be 2 files, for merge up to 3 files. So in the bad possible situation bzr will wait up to 3 minutes just to try cleanup things? Do you think it's really better than exit immediately and print the names of files those are left?</blockquote>
</div><br>ahm, wouldn't it be 3 seconds for 3 files if we wait 1 second for each?<br>Anyways, do you expect for them to end that quick? I'd think 3 seconds would also be acceptable.<br>Maybe your opt-in option can be seconds_to_wait_for_open_files=0 or timeout_seconds=0 where 0 would mean we don't wait. So each operation can specify how long it is willing to wait.<br>
<br>-- <br><| my2c, you almost have a $<br>U| Marius<br>H| YFBA<br>