<br><br><div class="gmail_quote">On Wed, Apr 7, 2010 at 1:05 PM, Sean Kelly <span dir="ltr"><<a href="mailto:sean@invisibleduck.org">sean@invisibleduck.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
I guess some memory allocations and such on exit aren't a big deal anyway.<br>
<div><div></div><br></div></blockquote><div><br>...Unless the program is exiting because it's out of memory.<br></div></div>