restart_timer


Description:

private void restart_timer ()

restart the timer.