stop_timer


Description:

private void stop_timer ()

stop the active timer.