File content as of revision 15:4b246689e0e2:

#include "mbed.h"
#include "HTTPClient.h"
#include "ESP8266Interface.h"
#include "TCPSocketConnection.h"
#include "TCPSocketServer.h"
#include "Websocket.h"

ESP8266Interface wifi(D1,D0,D2,"demossid","",115200); // TX,RX,Reset,SSID,Password,Baud
RawSerial pc(USBTX, USBRX); // tx, rx
HTTPClient http;
char str[512];
int main()
{
    pc.baud(115200);
    wifi.init(); //Reset
    wifi.connect(); //Use DHCP
    
    //GET
    pc.printf("\nTrying to fetch page...\n");
    int ret = http.get("http://191.239.57.70/", str, 128);
    if (!ret) {
        pc.printf("Page fetched successfully - read %d characters\n", strlen(str));
        pc.printf("Result: %s\n", str);
    } else {
        pc.printf("Error - ret = %d - HTTP return code = %d\n", ret, http.getHTTPResponseCode());
    }
    //POST
    HTTPMap map;
    HTTPText inText(str, 512);
    map.put("Hello", "World");
    map.put("test", "1234");
    printf("\nTrying to post data...\n");
    ret = http.post("http://54.175.222.246/post", map, &inText);
    if (!ret)
    {
      printf("Executed POST successfully - read %d characters\n", strlen(str));
      printf("Result: %s\n", str);
    }
    else
    {
      printf("Error - ret = %d - HTTP return code = %d\n", ret, http.getHTTPResponseCode());
    }

}