Method: handle_time_out Description: Hook method called when a timer expires Inputs: time value, completion token passed to timer at scheduling The token tells us which timer we're handling Returns: none
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected