function login() {
	var login=document.getElementById("login").value;
	if (!login) alert("No login found");
	var pass=document.getElementById("pass").value;
	if (!pass) alert("No pass found");
	$.post("ajaxlogin.php", {login: login, pass: pass}, function(data) {
		if (data!="FAIL" && data!="MAINTENANCE") {
			location.reload();
		}
		else {
			if (data=="MAINTENANCE") alert("Repository closed to read-only for maintenance. You will be able to login later.");
			else alert("Login failed: incorrect username or password");
		}
	});
}