less pager does not work well when using InputStreamSource, fixes #812

jline · Dec 9, 2022 · 239d6e0 · 239d6e0
1 parent 181279c
commit 239d6e0
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/builtins/src/main/java/org/jline/builtins/Source.java b/builtins/src/main/java/org/jline/builtins/Source.java
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2002-2016, the original author or authors.
+ * Copyright (c) 2002-2022, the original author or authors.
  *
  * This software is distributable under the BSD license. See the terms of the
  * BSD license in the documentation provided with this software.
@@ -104,6 +104,9 @@ public void close() throws IOException {
                     }
                 };
             }
+            if (this.in.markSupported()) {
+                this.in.mark(Integer.MAX_VALUE);
+            }
             this.name = name;
         }
 
@@ -114,6 +117,9 @@ public String getName() {
 
         @Override
         public InputStream read() throws IOException {
+            if (in.markSupported()) {
+                in.reset();
+            }
             return in;
         }