Stream.dispose

Disposes of the stream's resources.

If the stream has already been disposed of, this function does nothing.

Once disposed of, the stream should cease to function, and should throw StreamDisposedExceptions where appropriate.