From 94e5a196ee42f9571348786abd0ee727014b65ae Mon Sep 17 00:00:00 2001
From: jprocter <Jim Procter>
Date: Mon, 17 May 2010 16:13:36 +0000
Subject: [PATCH] minor fix for * JAL-537

---
 src/jalview/gui/Console.java |   10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/src/jalview/gui/Console.java b/src/jalview/gui/Console.java
index 3be4c8b..acd3dbd 100644
--- a/src/jalview/gui/Console.java
+++ b/src/jalview/gui/Console.java
@@ -247,12 +247,14 @@ public class Console extends WindowAdapter implements WindowListener,
     {
       while (Thread.currentThread() == reader)
       {
-        try
+        if (pin.available()==0) 
+          {try
         {
           this.wait(100);
         } catch (InterruptedException ie)
         {
-        }
+        }}
+        
         while (pin.available() != 0)
         {
           String input = this.readLine(pin);
@@ -267,12 +269,14 @@ public class Console extends WindowAdapter implements WindowListener,
 
       while (Thread.currentThread() == reader2)
       {
-        try
+        if (pin2.available()==0) {
+          try
         {
           this.wait(100);
         } catch (InterruptedException ie)
         {
         }
+        }
         while (pin2.available() != 0)
         {
           String input = this.readLine(pin2);
-- 
1.7.10.2