File content as of revision 2:b7489c070d1f:

///////////////////////////////////// FILE SYSTEM //////////////////////////////////////////

#include "SDFileSystem.h"                  // SD File System functions

//#define DAT0 PTE3                          // MOSI
//#define CMD  PTE1                          // MISO
//#define CLK  PTE2                          // SCLK
//#define CD   PTE4                          // CS

//SDFileSystem sd(DAT0, CMD, CLK, CD, "sd"); // MOSI, MISO, SCLK, CS

void file_stuff()
{
    FILE *File = fopen("/sd/sdfile.txt", "w");   // open file
    if(File == NULL) {                           // check if present
        printf("No SD Card or bad format\n"); // print message
    } else {                                     // otherwise
        printf("Ready to write\n");           // message preparing to write
    }
    fprintf(File, "FRDM-K64F");                  // write data
    fclose(File);                                // close file on SD    
}

////////////////////////////////////////////////////////////////////////////////////////

///////////////////////////////////// TCP     //////////////////////////////////////////

//    TCPSocketConnection sock;
//    sock.connect("mbed.org", 80);
//    
//    char http_cmd[] = "GET /media/uploads/mbed_official/hello.txt HTTP/1.0\n\n";
//    sock.send_all(http_cmd, sizeof(http_cmd)-1);
//    
//    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 server:\n%s\n", ret, buffer);
//    }
//      
//    sock.close();


///////////////////////////////////// MQTT    //////////////////////////////////////////
    
//    MQTTEthernet ipstack = MQTTEthernet();             
//    MQTT::Client<MQTTEthernet, Countdown> client = MQTT::Client<MQTTEthernet, Countdown>(ipstack);



///////////////////////////////////// other http server    //////////////////////////////////////////

//    HTTPFsRequestHandler::mount("/sd/", "/");
//    server.addHandler<HTTPFsRequestHandler>("/");


//
//    if (!server.start(80, &eth)) {
//        error("Server not starting !");
//        exit(0);
//    }
//