Rev 3857 | Blame | Compare with Previous | Last modification | View Log | RSS feed
<html>
<head>
<script>
function hst() {
var search = location.search;
var historyToken = '';
if (search.length > 0)
historyToken = search.substring(1);
document.getElementById('__gwt_historyToken').value = historyToken;
if (parent.__gwt_onHistoryLoad) {
parent.__gwt_onHistoryLoad(historyToken);
}
}
</script></head>
<body onload='hst()'>
<input type='text' id='__gwt_historyToken' tabIndex='-1'>
</body>
</html>