main.cpp

00001 #include "mbed.h"
00002 #include "EthernetInterface.h"
00003 
00004 int main() {
00005     EthernetInterface eth;
00006     eth.init(); //Use DHCP
00007     eth.connect();
00008     Serial pc(USBTX, USBRX); // tx, rx
00009     pc.printf("IP Address is %s\n", eth.getIPAddress());
00010     
00011     TCPSocketConnection sock;
00012     sock.connect("mbed.org", 80);
00013     
00014     char http_cmd[] = "GET /media/uploads/mbed_official/hello.txt HTTP/1.0\n\n";
00015     sock.send_all(http_cmd, sizeof(http_cmd)-1);
00016     
00017     char buffer[300];
00018     int ret;
00019     while (true) {
00020         ret = sock.receive(buffer, sizeof(buffer)-1);
00021         if (ret <= 0)
00022             break;
00023         buffer[ret] = '\0';
00024         pc.printf("Received %d chars from server:\n%s\n", ret, buffer);
00025     }
00026       
00027     sock.close();
00028     
00029     eth.disconnect();
00030     
00031     while(1) {}
00032 }