tree 402d41816f79d63ccfd1f8d296c0a4e6d3e32b1a
parent 94190bb6e7f3b1c7942b562fe0fad3e62b5386b9
author Antoine Pitrou <solipsis@pitrou.net> 1317723980 +0200
committer Antoine Pitrou <solipsis@pitrou.net> 1317723980 +0200

Issue #13087: BufferedReader.seek() now always raises UnsupportedOperation
if the underlying raw stream is unseekable, even if the seek could be
satisfied using the internal buffer.  Patch by John O'Connor.