| Mark the stream as "done" -- after this call, we're only allowed to call
AnnotatedOutputStream.close .
When using sockets, we're not allowed to close the output stream before
we've finished using the input stream. This is inefficient if we know
we've completed all our output. The done method allows us to
tell the stream that we won't write any more data or call flush. In
practice this may be handled just like close .
|