File content as of revision 1:bb040724d21b:

#include "mbed.h"
#include "WIZ820ioInterface.h"

Serial pc(USBTX, USBRX);
WIZ820ioInterface eth(D11, D12, D13, D10, NC);

int main()
{
    wait(3);
    
    // Initialize the interface.
    // If no param is passed to init() then DHCP will be used on connect()
    int s = eth.init();
    if (s != NULL) {
        pc.printf(">>> Could not initialise. Halting!\n");
        exit(0);
    }

    pc.printf(">>> Get IP address...\n");
    while (1) {
        s = eth.connect(); // Connect to network

        if (s == false || s < 0) {
            pc.printf(">>> Could not connect to network. Retrying!\n");
            wait(3);
        } else {
            break;
        }
    }
    pc.printf(">>> Got IP address: %s\n", eth.getIPAddress());

    // Prepare the http request to mbed.org
    char http_cmd[] = "GET /media/uploads/mbed_official/hello.txt HTTP/1.0\n\n";
    TCPSocketConnection sock;
    sock.connect("mbed.org", 80);    
    sock.send_all(http_cmd, sizeof(http_cmd)-1);
    pc.printf(">>> Sent request to mbed.org\n");

    // Read the response
    char buffer[300];
    int ret;
    while (true) {
        ret = sock.receive(buffer, sizeof(buffer)-1);
        if (ret <= 0)
            break;
        buffer[ret] = '\0';
        pc.printf(">>> Received %d chars from mbed.org:\n%s\n", ret, buffer);
    }
    sock.close();
    
    // Disconnect from network
    eth.disconnect();
    return 0;
}