<div dir="ltr">On Wed, Sep 17, 2008 at 6:21 AM, David Roundy <span dir="ltr">&lt;<a href="mailto:droundy@darcs.net">droundy@darcs.net</a>&gt;</span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="Ih2E3d"><br>
</div>Eventually the garbage collector should close the file, I believe.<br>
<font color="#888888"></font></blockquote><div><br>That&#39;s true, but &quot;eventually&quot; could be long enough to mean &quot;never&quot; in practice. It&#39;s safest to assume that finalizers will not run at all, never mind in a timely fashion. <br>
</div></div></div>