From fd16df8000aed3776073967ab41079825e1789d8 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Sat, 7 Mar 2009 00:45:35 +0000
Subject: [PATCH] changes

---
 Robust/src/ClassLibrary/SocketInputStream.java | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/Robust/src/ClassLibrary/SocketInputStream.java b/Robust/src/ClassLibrary/SocketInputStream.java
index bc3a65ce..f7222726 100644
--- a/Robust/src/ClassLibrary/SocketInputStream.java
+++ b/Robust/src/ClassLibrary/SocketInputStream.java
@@ -16,6 +16,24 @@ public class SocketInputStream extends InputStream {
     return s.read(b);
   }
 
+  public int readAll(byte[] b) {
+      int offset=read(b);
+      if (offset<0)
+	  return offset;
+      int toread=b.length-offset;
+      while(toread>0) {
+	  byte t=new byte[toread];
+	  int rd=read(t);
+	  if (rd<0)
+	      return rd;
+	  for(int i=0;i<rd;i++)
+	      b[i+offset]=t[i];
+	  offset+=rd;
+	  toread-=rd;
+      }
+      return b.length;
+  }
+
   public void close() {
     s.close();
   }
-- 
2.34.1