Fix PumpReader.read(CharBuffer) not being synchronized

Marcono1234 · mattirn · commit 943abe0f1611 · 2021-04-24T17:01:45.000+02:00
diff --git a/terminal/src/main/java/org/jline/utils/PumpReader.java b/terminal/src/main/java/org/jline/utils/PumpReader.java
@@ -183,7 +183,7 @@ public synchronized int read(char[] cbuf, int off, int len) throws IOException {
     }
 
     @Override
-    public int read(CharBuffer target) throws IOException {
+    public synchronized int read(CharBuffer target) throws IOException {
         if (!target.hasRemaining()) {
             return 0;
         }

Original file line number	Diff line number	Diff line change
`@@ -183,7 +183,7 @@ public synchronized int read(char[] cbuf, int off, int len) throws IOException {`
`183`	`183`	`}`
`184`	`184`
`185`	`185`	`@Override`
`186`		`- public int read(CharBuffer target) throws IOException {`
	`186`	`+ public synchronized int read(CharBuffer target) throws IOException {`
`187`	`187`	`if (!target.hasRemaining()) {`
`188`	`188`	`return 0;`
`189`	`189`	`}`