diff --git a/DroidFish/src/org/petero/droidfish/engine/LocalPipe.java b/DroidFish/src/org/petero/droidfish/engine/LocalPipe.java index 799800c..7c98680 100644 --- a/DroidFish/src/org/petero/droidfish/engine/LocalPipe.java +++ b/DroidFish/src/org/petero/droidfish/engine/LocalPipe.java @@ -21,6 +21,12 @@ public class LocalPipe { } public final synchronized void addLine(String line) { + while (lines.size() > 10000) { + try { + wait(10); + } catch (InterruptedException e) { + } + } lines.add(line); notify(); }