Electric Imp Led Switch Agent and Device

agent.nut

const COWBELL = "https://agent.electricimp.com/05V8cFjX6eN4";

function cowbell(nullData) {
    server.log("Button action");
   // http.get(COWBELL).sendsync();
}

device.on("buttonPress", cowbell);

device.nut

led <- hardware.pin9;
button <- hardware.pin1;

ledState <- 0;

function toggleLED() {
    // flip ledState
    ledState = 1-ledState;
    if (ledState == 0) {
        server.log("LED Off");
    } else {
        server.log("LED On");
    }
    led.write(ledState);
}

function onButtonPress() {
    local state = button.read();
    
    imp.sleep(0.02);    // software debounce
    if (state == 0) {
        server.log("Button Pressed");
         agent.send("buttonPress", "Button Pressed");
    } else {
        server.log("Button Released");
        agent.send("buttonPress", "Button Released");
        toggleLED();
    }
}

led.configure(DIGITAL_OUT);
button.configure(DIGITAL_IN_PULLUP, onButtonPress);