RD3: Timer eseguiti dopo disabilitazione

Descrizione

Quando si utilizza RD3, gli eventi timer vengono generati dal browser ed inviati al server. Siccome lo scambio dei messaggi browser-server è asincrono era possibile che lato browser venisse generato un messaggio di tick mentre il server stava disabilitando il timer. In questo caso al server arrivava un ultimo tick del timer quando esso era già stato disabilitato.

Funzionalità interessate

Timer con cadenza molto frequente.

Note

Per superare il problema bastava inserire un controllo sull'abilitazione del timer all'inizio della procedura di gestione del tick. Nella versione 11, questo non è più necessario.