var login_form = null
var logout_form = null

/*----------------------------------------------------------------------+
 |      login/logout form processing                                    |
 +----------------------------------------------------------------------*/

/*
 *  Create a login notification with logout button
 */
function create_logout_form(name)
{
 logout_form = document.createElement("form")
 logout_form.setAttribute("id", "logout-form")
 logout_form.appendChild(document.createTextNode("Logged in as "))

 node = document.createElement("strong")
 node.appendChild(document.createTextNode(name))
 logout_form.appendChild(node)

 logout_form.appendChild(document.createTextNode(" "))

 node = document.createElement("input")
 node.setAttribute("type", "hidden")
 node.setAttribute("size", "12")
 node.setAttribute("name", "name")
 node.setAttribute("value", name)
 logout_form.appendChild(node)

 node = document.createElement("input")
 node.setAttribute("type", "button")
 node.setAttribute("value", "Logout")
 node.setAttribute("onclick", "do_logout()")
 logout_form.appendChild(node)
}

/*
 *  User action: hit login button.
 *  Check user name and login.
 */
function do_login()
{
 name = document.getElementById('name').value
 password = document.getElementById('password').value
 set_cookie = document.getElementById('set-cookie').checked

 if (name == "") {
  alert("Login failed")
  return
 }

 create_logout_form(name)

 login_box = document.getElementById('login-box')
 login_form = document.getElementById('login-form')
 login_box.replaceChild(logout_form, login_form)
}

/*
 *  User action: hit logout button.
 *  Restore the original login form.
 */
function do_logout()
{
 login_box = document.getElementById('login-box')
 login_box.replaceChild(login_form, logout_form)
}

/*----------------------------------------------------------------------+
 |                                                                      |
 +----------------------------------------------------------------------*/