From 8c162ebca7ad09a250ab878481200d0d34d521bd Mon Sep 17 00:00:00 2001
From: Slava Pestov <slava@factorcode.org>
Date: Wed, 4 May 2005 06:25:57 +0000
Subject: [PATCH] oops

---
 factor/ExternalFactor.java | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

diff --git a/factor/ExternalFactor.java b/factor/ExternalFactor.java
index 17a70e73a3..74c5a104d7 100644
--- a/factor/ExternalFactor.java
+++ b/factor/ExternalFactor.java
@@ -134,15 +134,7 @@ public class ExternalFactor extends VocabularyLookup
 			int responseLength = in.readInt();
 			byte[] response = new byte[responseLength];
 			
-			int n = 0;
-			while (n < response.length)
-			{
-				int count = in.read(response,n,response.length - n);
-				if (count < 0)
-					throw new EOFException();
-				System.err.println(new String(response,n,count));
-				n += count;
-			}
+			in.readFully(response);
 
 			String responseStr = new String(response,"ASCII");
 			return responseStr;