Bugfix for a bug in the timer system that was first reported here:

[tinyos-2.x.git] / tos / lib / timer / VirtualizeTimerC.nc

diff --git a/tos/lib/timer/VirtualizeTimerC.nc b/tos/lib/timer/VirtualizeTimerC.nc
index 3c26c37119418a87546a36ea7bcc6cb96848a332..4aa7c222ccf3b1c6bd0f88276ee0328aa9a2ff91 100644 (file)
--- a/tos/lib/timer/VirtualizeTimerC.nc
+++ b/tos/lib/timer/VirtualizeTimerC.nc
@@ -79,6 +79,7 @@ implementation
                  timer->t0 += timer->dt;
 
                signal Timer.fired[num]();
+    break;
              }
          }
       }