contiki-os/contiki — pull request #493 by g-oikonomou (2013-12-05 18:36:40+00:00)
Title: Don't increment the counter when a button is pressed

The cc2538-demo example prints a counter which increments by 1 every second. Pressing a button however causes the process to skip a timer event and also causes the counter to jump up by 2.

This fixes it.