File content as of revision 0:ec23a7ae804c:

#include "EthernetInterface.h"
#include "ConfigFile.h"
#include "mbed.h"

//To set the xbee
Serial xbee(p13, p14);
DigitalOut reset(p8);

//Socket Buffer
char buffer[50];
char serverAddrvalue[32];

//Read the config file
void readConfigFile()
{
    LocalFileSystem local("local");
    ConfigFile cfg;
    char *serverAddr = "serverAddr";
    if (!cfg.read("/local/input.cfg")) error("Failure to read a configuration file.\n");
    else cfg.getValue(serverAddr, &serverAddrvalue[0], sizeof(serverAddrvalue));
}

//Init RJ45 and use DHCP
void initRJ45()
{
    EthernetInterface rj45;
    rj45.init(); 
    rj45.connect();
}

void initSocket()
{
    //Init Socket
    TCPSocketConnection sock;
    sock.connect(serverAddrvalue, 502);

    sprintf (buffer, serverAddrvalue);
    sock.send_all(buffer, sizeof(buffer)-1);
    
    int repSize;
    while (true) {
        repSize = sock.receive(buffer, sizeof(buffer)-1);
        if (repSize <= 0) {
            printf("Error");
            sock.close();
            break;
        }
        buffer[repSize] = '\0';
        printf("Received %d chars from server:\n%s\n", repSize, buffer);
    }
}

int main() {
    
    readConfigFile();
    initRJ45();
    initSocket();
  
    while(1) {}
}