| In the version of Mzscheme we've been using there
is no way to close a port with buffered output.
This is a problem for an http server because a client
that stops responding could leave you with a port
that has buffered output. Since each port takes up
a file descriptor, you end up with a file descriptor leak.
You eventually run out and the server gets wedged. Does anyone know if this got fixed in recent versions
of MzScheme? Rtm cooked up a workaround using "custodians" but we'd rather not release code so ugly. |
