File content as of revision 4:14045b8557cb:

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

Serial pc(USBTX, USBRX);

/**
 * D11 - MOSI pin
 * D12 - MISO pin
 * D13 - SCK pin
 * D10 - SEL pin
 * NC - Reset pin; use D5 otherwise the shield might get into reset loop
 */
WIZ820ioInterface eth(D11, D12, D13, D10, D5);

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) {
        printf(">>> Could not initialise. Halting!\n");
        exit(0);
    }

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

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

    // Prepare the http request to mbed.org
    printf(">>> Open socket to mbed.org:80\n");
    char http_cmd[] = "GET /media/uploads/mbed_official/hello.txt HTTP/1.0\n\n";
    TCPSocketConnection sock;
    
    while (sock.connect("mbed.org", 80) == -1) {
        printf(">>> Unable to open socket! Retrying ...\n");
    };
    
    printf(">>> Request %s\n", http_cmd);
    sock.send_all(http_cmd, sizeof(http_cmd)-1);

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

    printf(">>> Close socket\n");
    sock.close();
    
    // Disconnect from network
    printf(">>> Disconnect from network\n");
    eth.disconnect();

    return 0;
}