Jordan Rose 224646389a java: Work around InputStreams that don't provide a good skip() ...

In particular, some streams seem to override skip() to always return
0, which means that even looping on skip() won't end up skipping the
full amount. Work around this by using a wrapper InputStream that
falls back to read() instead.

This removes a requirement for the streams passed to Mp4Sanitizer and
WebpSanitizer, but providing a good skip() is still recommended.

2024-01-18 11:23:05 -08:00

..

src

java: Work around InputStreams that don't provide a good skip()

2024-01-18 11:23:05 -08:00

build.gradle

Java: Add -Xcheck:jni to host testing

2023-11-15 10:17:26 -08:00