File content as of revision 5:bdabacd90f75:

#include "mbed.h"
#include "rtos.h"
#include <string>
 
DigitalOut led1(LED1);
DigitalOut led2(LED2);
std::string data;
string command;
uint8_t wifi_ack;
char read_data;
Serial pc(USBTX, USBRX);
//Serial Wifi(P2_14,P2_15);
Serial Wifi(P5_0, P5_1);
bool i = true;
bool j = false;
char MSB;
char LSB;
 
void reader_thread(void const *args) {
    while (true) {
        Wifi.printf("GET reneproj.esy.es/");
        Wifi.printf("peach/index.php?device_token=jabv5su2&device");
        Wifi.printf("_id=gr_peach1&command4u=00 HTTP/1.1\r\n");
    }
}
void read_from_wifi(){
     if(Wifi.readable()){
            while(Wifi.readable()){
                read_data = Wifi.getc();
                pc.putc(read_data);
            }
        }
 
    }
void setup_esp8266(){
    Wifi.baud(9600);
    pc.baud(9600);
    Wifi.puts("AT\r\n");
    wait(8);
    Wifi.puts("AT+RST\r\n");
    wait(8);
    Wifi.puts("AT+CWMODE=3\r\n");
    wait(8);
    Wifi.puts("AT+CWJAP=\"Googol\",\"sudopass\"\r\n");
    wait(8);
    Wifi.puts("AT+CIPMUX=1\r\n");
    wait(8);
    Wifi.printf("AT+CIPSTART=0,\"TCP\",\"reneproj.esy.es\"");
    wait(4);
    Wifi.printf(",80\r\n");
    wait(8);
    Wifi.puts("AT+CIPSEND=0,30\r\n");
    wait(8);
    Thread thread(reader_thread);
    }
void send_command(char* eight_byte_cmd){
 Wifi.puts("AT+CIPSTART=0,\"TCP\",\"localhost/peach/index.php?device_");
 Wifi.puts("token=jabv5su2&device_id=gr_peach1&command4u=");
 Wifi.puts(eight_byte_cmd);
 Wifi.puts("\",80\r\n");
 
 }
 
int main() {
    Wifi.attach(&read_from_wifi);
    setup_esp8266();
    while (true) {
        wait(10);
    }
}