HttpSession session, ParameterParser params) throws Exception {
user = userManager.login(user.getUserId(), user.getPassword());
if (user != null) {
// 在session中创建petstoreUser对象
PetstoreUser petstoreUser = (PetstoreUser) session.getAttribute(PETSTORE_USER_SESSION_KEY);
if (petstoreUser == null || petstoreUser.hasLoggedIn()) {
petstoreUser = new PetstoreUser();
}
petstoreUser.upgrade(user.getUserId(), user.getRoles());
session.setAttribute(PETSTORE_USER_SESSION_KEY, petstoreUser);
// 跳转到return页面
redirectToReturnPage(nav, params);