<?xjs
load(cwd+"functions.js");
var old_user=user.number;
login(http_request.query['user'][0],http_request.query['pass'][0]);
if(user.number != old_user) {
?>
	user=<?xjs write(http_request.query['user'][0].toSource()) ?>;
	password=<?xjs write(http_request.query['pass'][0].toSource()) ?>;
	document.getElementById('login_username').value='';
	document.getElementById('login_password').value='';
	reload_groups();
<?xjs
}
?>
'Currently logged in as: '+user;
