Dedan wrote:The process to get the timer "id" is vague to me
You have two options:
1) store the timer id returned by 'timer'/'utimer' when the timer is created.
2) search through the list returned by 'timers'/'utimers'
Last edited by user on Thu Sep 11, 2003 1:19 pm, edited 1 time in total.
foreach u [utimers] {
# here [lindex $u 1] is the command to be performed
# and [lindex $u 2] is the timer ID
}
But maybe you're not asking the right question? How about not starting any new timers if you're rehashing? Just set a global variable in your script and check if it exists before creating the timers.