132133134135136137138139140
context.info("User '" + username + "' logged in as '" + user.getProfile() + "'"); return new Element("ok"); } else { throw new UserLoginEx(username); } }