fix remplace/buffered input stream
authorNiki Roo <niki@nikiroo.be>
Wed, 20 May 2020 11:28:17 +0000 (13:28 +0200)
committerNiki Roo <niki@nikiroo.be>
Wed, 20 May 2020 11:28:17 +0000 (13:28 +0200)
commitefe7b5989ac8a72375a1abfaf9aa3f50a18ea58d
tree85b376f2d60a926f1a1e2bd02e4b6d7e3884ae0c
parent6d765e484c2f50fd8f5cb3af425b59c51adaca0d
fix remplace/buffered input stream
src/be/nikiroo/utils/streams/BufferedInputStream.java
src/be/nikiroo/utils/streams/ReplaceInputStream.java
src/be/nikiroo/utils/test_code/ReplaceInputStreamTest.java