mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opends/src/server/org/opends/server/replication/service/ReplInputStream.java @@ -153,7 +153,7 @@ } byte[] b = new byte[1]; if (read(b, 0, 1) == 0) { throw new IOException(); }