File content as of revision 9:91fe783e1dd4:

#include "mbed.h"
#include "ESP8266Interface.h"
#include "TCPSocketConnection.h"
 
const char* ECHO_SERVER_ADDRESS = "192.168.2.4";
const int ECHO_SERVER_PORT = 8080;
ESP8266Interface wifi(D1,D0,D10,"demossid","password",115200); // TX,RX,Reset,SSID,Password
RawSerial pc(USBTX, USBRX); // tx, rx
 
int main() {
    pc.baud(115200);
    wifi.init(); //Use DHCP
    wifi.connect();
    pc.printf("IP Address is %s\n", wifi.getIPAddress());
    
    TCPSocketConnection socket;
    while (socket.connect(ECHO_SERVER_ADDRESS, ECHO_SERVER_PORT) < 0) {
        pc.printf("Unable to connect to (%s) on port (%d)\n", ECHO_SERVER_ADDRESS, ECHO_SERVER_PORT);
        wait(1);
    }
    
    char hello[] = "Hello World\n";
    socket.send_all(hello, sizeof(hello) - 1);
    
    char buf[256];
    int n = socket.receive(buf, 256);
    buf[n] = '\0';
    pc.printf("%s", buf);
    
    socket.close();
    wifi.disconnect();
    
    while(true) {}
}