/* During a download, this is supposed to get called at 100 Hz. Whenever something is transmitted and we expect a response, the response_timer is initialized to the maximum time we will wait.  */
void download_timer(void)
/* During a download, this is supposed to get called at 100 Hz. Whenever something is transmitted and we expect a response, the response_timer is initialized to the maximum time we will wait.  */
void download_timer(void)
{
    if (response_timer > 0) {
        response_timer--;
        if (response_timer == 0) {
            expected_echo_ptr = NULL;
            download_main(TIMEOUT);
        }
    }
}