1 --- /usr/share/arduino/libraries/Ethernet/utility/socket.cpp 2014-06-13 15:35:45.257740458 -0700
2 +++ /oc/usr/share/arduino/libraries/Ethernet/utility/socket.cpp 2014-08-10 17:20:30.273142691 -0700
7 + uint16_t data_copied=0;
13 data_len = (data_len << 8) + head[7];
15 - W5100.read_data(s, (uint8_t *)ptr, buf, data_len); // data copy.
18 - W5100.writeSnRX_RD(s, ptr);
24 data_len = (data_len << 8) + head[5];
26 - W5100.read_data(s, (uint8_t *)ptr, buf, data_len); // data copy.
29 - W5100.writeSnRX_RD(s, ptr);
35 data_len = (data_len<<8) + head[1] - 2;
37 - W5100.read_data(s,(uint8_t*) ptr,buf,data_len);
39 - W5100.writeSnRX_RD(s, ptr);
48 + data_copied = (data_len <= len) ? data_len : len;// only copy the len bytes, rest of is discarded.
49 + W5100.read_data(s, (uint8_t *)ptr, buf, data_copied); // data copy.
51 + W5100.writeSnRX_RD(s, ptr);
53 W5100.execCmdSn(s, Sock_RECV);