Handle short recv()s

exec/load/cvslib.js

@@ -222,7 +222,18 @@ CVS = new (function () {
 		
 		function recv_file(socket) {
 			var length=parseInt(socket.recvline());
-			return socket.recv(length);
+			var ret='';
+
+			while(length) {
+				var str=socket.recv(length);
+				if(str) {
+					ret += str;
+					length -= str.length;
+				}
+				else
+					throw("Error on recv()");
+			}
+			return ret;
 		}
 
 		for(;;) {