s
the internal event pipe ports, and any subsequent application of
event-loop-run! to the event loop will cause an &rsquo;event-loop-error
exception to be thrown.
</p>
<p>You might want to call this procedure to ensure that, after an event
loop in a local scope has been finished with, the two internal event
pipe file descriptors used by the loop are released to the operating
system in advance of the garbage collector releasing them when the
event loop object becomes inaccessible.
</p>
<p>This is thread safe