<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Jul 3, 2014 at 12:33 PM, Nicolas Cellier <span dir="ltr"><<a href="mailto:nicolas.cellier.aka.nice@gmail.com" target="_blank">nicolas.cellier.aka.nice@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr"><div><div>The bug is repeatable, i simply have to execute this snippet with my test file:<br>
<br>(FileStream fileNamed: 'snapshot.bin') binary contentsOfEntireFile asString zipped.<br><br></div>The file is too big for an attachment here - 7.3 Mbytes - or 1.7 Mbytes gzipped by external tool.<br>
</div>If someone can suggest an upload site, or want it by mail, just ask.<br></div></blockquote><div><br></div><div>You're welcome to put it on <a href="http://ftp.mirandanamda.org">ftp.mirandanamda.org</a>, cogftpuser, pw cogging with 0's & 1's. </div>
<div><br></div><div>I bet you can narrow it down by doing</div><div><br></div><div>| file |</div><div>file := FileStream fileNamed: 'snapshot.bin'.</div><div>file binary.</div><div>[[file atEnd] whileFalse: [(file next: 16*1024) asString zipped]] ensure: [file close]</div>
<div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr"><div><div><div>2014-07-03 16:05 GMT+02:00 gettimothy <span dir="ltr"><<a href="mailto:gettimothy@zoho.com" target="_blank">gettimothy@zoho.com</a>></span>:<br>
</div></div></div></div><div class="gmail_extra"><div class="gmail_quote"><div><div class="h5"><br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><u></u><div><div style="font-size:10pt;font-family:Verdana,Arial,Helvetica,sans-serif">
<div><div><br><blockquote style="border:1px solid rgb(204,204,204);padding:7px;background-color:rgb(245,245,245)">
<div>I would not be surprised if it is something to do with wide characters. I <br>vaguely recall that we fixed a similar sounding problem elsewhere in the <br>system recently. Unfortunately I cannot remember what it was. <br>
</div></blockquote> <br></div>Could it be something as simple as the 'self flush' is needed like we did in WriteStream nextChunkPut?</div></div></div></blockquote></div></div></div></div></blockquote></div><div><br>
</div>-- <br>best,<div>Eliot</div>
</div></div>