code hint fixes

2026-09-26 12:10:46 +00:00 · 2015-01-19 12:18:49 +01:00
parent e4e9676081
commit df518ff503
6 changed files with 51 additions and 40 deletions
@@ -74,7 +74,10 @@ public class IndexInputStream extends InputStream {
    public String readString() throws IOException {
        int len = (int) readInt();
        byte data[] = new byte[len];
-        read(data);
+        if (read(data) != len) {
+            throw new IOException();
+        }
+
        return new String(data);
    }
 }