
function on_logout_button()
{
	try {
		var http = new Http("/bin/") ;
		http.add("action","logout") ;
		http.get() ;
		
		window.location = "/" ;
	}
	catch(e) {
		alert(e) ;
	}
}
