File content as of revision 1:0d63e4db8503:

#define __DEBUG__ 4 //Maximum verbosity
#ifndef __MODULE__
#define __MODULE__ "net_3g_basic_http_test.cpp"
#endif

#include "mbed.h"
#include "socket/bsd_socket.h"
#include "rtos.h"
#include "VodafoneUSBModem.h"
#include "VodafoneTestCase.h"
#include "ExampleTest.h"

DigitalOut led1(LED1);
DigitalOut led2(LED2);
DigitalOut led3(LED3);
DigitalOut led4(LED4);

extern "C" void HardFault_Handler() { error("Hard Fault!\n"); }

void test(void const*) {
  VodafoneUSBModem modem;
  
  
  ExampleTest t(&modem);
  t.runTest();
  
  while(1) {
     Thread::wait(1000);
  }
}

int main() {

  DBG_INIT();
  DBG_SET_SPEED(115200);
  DBG_SET_NEWLINE("\r\n");

  Thread testTask(test, NULL, osPriorityNormal, 1024 * 5);
  // this thread just waits and blinks leds periodically
  while(1) {
     led1 = !led1;
     Thread::wait(500);
     led1 = !led1;
     Thread::wait(30000);
  }
  return 0;
}