111112113114115116117118119120121
if (null == user) { return null; } // 把用户提升为管理员 if ("toadmin".equals(op)) { user.userToAdmin(); user.flush(); } else {// 把管理员降为用户 user.adminToUser(); user.flush(); }