528b1eea8f
Default grace time is 1s which might not be enough when the scheduler is under high load. By setting this to None we ensures that we don't miss a trigger event. Change-Id: Ib928f11b4edb553dc031c6cef15742d07872bb68 |
||
---|---|---|
.. | ||
__init__.py | ||
timermodel.py | ||
timertrigger.py |