I'm using version 8.0. How can I get name of the timer?
As I see there is no API for this.
To read timer name I have to made some "magic" cast "(char *) timerHandler" and hope that internal "xTIMER" structure organization will not be changed in future.
Note: My solution => I added function char *pcTimerGetTimerName( TimerHandle_t xTimer ); to timer.c. It would be nice to have that kind of function in official build
I have just updated timers.c to include the function pcTimerGetTimerName(). You can safely add the same function to your code as timers.c is already checked into SVN so the function will be in the next version. You can search for the function's [extremely simple] implementation on the following link:
Copyright (C) Amazon Web Services, Inc. or its affiliates. All rights reserved.