<div dir="ltr">:D Shining!<div class="gmail_extra"><br><br><div class="gmail_quote">2013/4/3 Marc Feeley <span dir="ltr"><<a href="mailto:feeley@iro.umontreal.ca" target="_blank">feeley@iro.umontreal.ca</a>></span></div>

<div class="gmail_quote">..<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">After further investigation it appears that there is a simpler approach.  Simply defining<br>


<br>
(define (abort-io port)<br>
  (input-port-timeout-set! port -inf.0))<br>
<br>
is sufficient.  There is no need for the thread-interrupt! call because the functions input/output-port-timeout-set! contain the logic to force the waiting thread to wakeup.<br>
<span class="HOEnZb"><font color="#888888"><br>
Marc<br>
<br>
</font></span></blockquote></div><br></div></div>