File content as of revision 0:e84b2d4ab961:

#include "mbed.h"
#include "EthernetInterface.h"
#include "Websocket.h"
#include "DigitDisplay.h"

DigitalOut myled(LED2);
EthernetInterface eth;
DigitDisplay display(P4_29, P4_28);
AnalogIn ain(P0_23);

int a;
float temperature;
int B=3975;                                                         //B value of the thermistor
float resistance;

int main()
{
    char data[256];
    eth.init();
    eth.connect();
    Websocket ws("ws://wot.city/object/554588e158e328ae620000ab/send");
    ws.connect();
    while(1) {
// multiply ain by 675 if the Grove shield is set to 5V or 1023 if set to 3.3V
        a=ain*675;
        resistance=(float)(1023-a)*10000/a;                         //get the resistance of the sensor;
        temperature=1/(log(resistance/10000)/B+1/298.15)-273.15;    //convert to temperature via datasheet ;
        myled = 1;
        wait(0.8);
        myled = 0;
        wait(0.8);
        display.write(temperature);
        sprintf( data , "{ \"temperature\": %f }",temperature);
        ws.send(data);
    }
}