Details
-
Enhancement
-
Resolution: Done
-
Major
-
None
-
None
-
None
Description
GridInputStream.skip() is currently very inefficient, especially when skipping past the currently loaded chunk.
The method also has a small border-case bug: when the parameter is negative, the method should not skip any bytes, but it actually skips/reads all the remaining bytes of the stream.