Uso di Google Web Toolkit, vorrei codificare l'equivalente di un hard refresh (control + F5)
.aggiornamento forzato in GWT
Non credo (o so) se GWT's Window.Location
funzionerà.
import com.google.gwt.user.client.Window.Location;
Window.Location = currentPage; // I don't think it'll be hard refresh
posso chiedere perché avete bisogno di aggiornamento forzato? Hai risorse esterne o tutto è gestito da GWT? Perché nell'ultimo caso, non vedo perché tu voglia forzare la ricarica. –
@AndreaBoscolo, dove sto considerando di aggiungere questo refresh difficile, il mio codice re-indirizza gli utenti a una pagina di errore generico. Tuttavia, anziché reindirizzarli a una pagina di errore generica, desidero reindirizzarli per accedere di nuovo (cosa che il duro aggiornamento otterrà). Le credenziali di un utente scadono dopo circa 15 minuti. Non so come affrontare il problema sottostante, quindi aggiungere un aggiornamento duro è meglio che costringere l'utente ad aprire un nuovo browser e accedere di nuovo. –