<script>
    function update_login_time() {
        $.post('/update_login_time');
    }
    /* Keep re-authenticating every five minutes to make sure the user
    * isn't logged out. */
    setInterval(update_login_time(), 300000);
</script>