Solved buffer overflow in case of a very large single line

The buffer printed would not get enlarged enough to fit the incomming buffer

Fixes #2138

Author: DavyLandman

src/org/rascalmpl/library/util/Monitor.rsc

@@ -225,4 +225,15 @@ test bool unfinishedLinesAtTheEndTest() {
   jobStep("job", "3", work=1);
   jobEnd("job");
   return true;
+}
+
+// repo of issue #2138
+test bool printLongUnfinishedLine() {
+  jobStart("job", totalWork=1);
+  singleString = iprintToString(("" | it + "ab" | i <- [0..1000000])); // avoid concat tree printing in chunks
+  println(singleString);
+  jobStep("job", "prog", work=1);
+  println("Done");
+  jobEnd("job");
+  return true;
 }

src/org/rascalmpl/repl/TerminalProgressBarMonitor.java

@@ -195,7 +195,10 @@ private void store(char[] newInput, int offset, int len) {
 
             // first ensure capacity of the array
             if (curEnd + len >= curCapacity) {
-                curCapacity *= 2; 
+                do {
+                    curCapacity *= 2; 
+                    // increase size until it fits
+                } while (curEnd + len >= curCapacity);
                 buffer = Arrays.copyOf(buffer, curCapacity);
             }