<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On Apr 11, 2013, at 10:34 AM, Robby Findler <<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite">You need to close the port I believe. </blockquote><div><br></div>Thanks, I assumed the close wasn't needed except to release the file descriptor; I didn't realize it is also needed to flush the output buffer. I just read section 12.1 "Ports" which says close is necessary "to release low-level resources associated with the port." I should have also read section 12.1.3 "Port Buffers and Positions" in the reference. Perhaps section 12.1 would be improved by adding a mention of buffer flushing to the description of close?</div><div><br></div><div>My previous experience with output ports used "call-with-output-file" which implicitly closes the port, so I have at least some excuse for my ignorance :-)</div><div><br></div><div>Best regards,</div><div>-Steve</div><div><br></div><div apple-content-edited="true"> <span class="Apple-style-span" style="border-collapse: separate; border-spacing: 0px; "><div><span class="Apple-style-span" style="font-size: 12px; "><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; ">-- </div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><font face="Helvetica" size="3" style="font: normal normal normal 12px/normal Helvetica; ">Steve Byan <<a href="mailto:stevebyan@me.com">stevebyan@me.com</a>></font></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; "><font face="Helvetica" size="3" style="font: normal normal normal 12px/normal Helvetica; ">Littleton, MA 01460</font></div><div><br></div></span></div></span><br class="Apple-interchange-newline"> </div> <br></body></html>