Hi Chris,
that works perfectly.
Just one comment. Are you not worried that "new byte[len]" could
consume quite a lot of memory when seeking in a really large file?
You could also consider using a constant buffer. Something like:
byte[] buffer = new byte[4096];
while (len > 0) {
int bytesToRead = len < buffer.length ? len : buffer.length;
read(buffer, 0, bytesToRead);
len = len - bytesToRead;
}
But for what I am doing it doesn't matter.
Thanks for your help,
--Peter