<div dir="ltr"><div>Hi Nicolas.</div><div><br></div><div class="gmail_extra"><div class="gmail_quote">2017-12-01 2:55 GMT+01:00 Nicolas Cellier <span dir="ltr"><<a href="mailto:nicolas.cellier.aka.nice@gmail.com" target="_blank">nicolas.cellier.aka.nice@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div>I just had a great success in interrupting a critical: block... Is this possibility expected?<br></div></div></blockquote><div><br></div><div>It is definitely needed because in case of deadlock it is the only way to repair the image. </div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div></div>Too bad, the UI is now completely blocked...<br><br><br></div>
<br><br>
<br></blockquote></div><br></div></div>