// updateurl.js
//
// Created on: 2009/05/11

function updateurl()
{
    if(typeof updateurl.urlbox == 'undefined')
        updateurl.urlbox = document.getElementById('urlbox');
    if(document.location.href != "")
    {
        window.clearInterval(updateurl.intv);
        updateurl.urlbox.value = document.location.href;

        if(document.getElementById('loginu'))
            document.getElementById('loginu').focus();
    }
}
updateurl.intv = window.setInterval("updateurl()", 200);