xTimerResetFromISR do not restart the timer period properly

sminder wrote on Wednesday, July 23, 2014:

Thanks a lot! I’ve used the portEND_SWITCHING_ISR() function and it looks like successful.