From: jprocter <Jim Procter>
Date: Mon, 17 May 2010 16:13:36 +0000 (+0000)
Subject: minor fix for * JAL-537
X-Git-Tag: Release_2_6~223
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=94e5a196ee42f9571348786abd0ee727014b65ae;p=jalview.git

minor fix for * JAL-537
---

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);