jrandom a859908e83 handle repeated attempts to close() gracefully ...

logging, formatting

2004-04-17 00:04:38 +00:00

..

c

Little restyle of output text

2004-04-09 00:58:10 +00:00

doc

…

java

handle repeated attempts to close() gracefully

2004-04-17 00:04:38 +00:00