[Box-Admins] Does source.squeak.org have the socket leak problem?

[David T. Lewis]

I'm watching our squeaksource.com service, which is now running for
real on box3. Not unexpectedly, I see that it has a socket leak problem.
I know this has been discussed in the past, but I don't really recall
the status, hence my question:

Does our source.squeak.org service have the socket leak problem?

The symptoms are an accumulation of socket file handles as displayed
in the /proc/<vmpid>/fd/ directory, while the the image itself does
not have a corresponding accumulation of Socket instances. This is
an indication of the image discarding socket references without having
properly closed them.

Thanks,
Dave