File content as of revision 0:21dd20de08d1:

#include "mbed.h"
#include "EthernetNetIf.h"
#include "HTTPClient.h"

EthernetNetIf eth;
HTTPClient http;

Serial pc(USBTX, USBRX);
  
int main() {

//pc.baud(230400);

  printf("Setting up...\n");
  EthernetErr ethErr = eth.setup();
  if(ethErr)
  {
    printf("Error %d in setup.\n", ethErr);
    return -1;
  }
  printf("Setup OK\n");
  
{

  HTTPFile f("/sd/m.pdf");
  
  HTTPResult r = http.get("http://mbed.org/media/press/mbed_whitepaper.pdf", &f);


/*
  HTTPFile f("/sd/image.png");
  
  HTTPResult r = http.get("http://mbed.org/media/press/images/mbed-logo-blue.png", &f);
*/

 // HTTPFile f("/local/test2.txt");
// HTTPText f;
  
  
  //http.setRequestHeader("User-Agent","mbed");
  //http.setRequestHeader("Accept","*/*");
  
  //HTTPResult r = http.get("http://en.wikipedia.org/wiki/Transmission_Control_Protocol", &f);
  
  if(r==HTTP_OK)
  {
    printf("Result OK\n"); 
  }
  else
  {
    printf("Error %d\n", r);
  }
}  
  while(1)
  {
  
  }
  
  return 0;
  
}