issue-361: Reset user cookie after administrative password change

James Moger

2014-01-28 7ab32b65fcb20ca68d7afc357befb3a34de662bf

 src/main/java/com/gitblit/wicket/pages/EditUserPage.java

@@ -154,6 +154,9 @@
                     return;

                  }



                  // change the cookie

                  userModel.cookie = StringUtils.getSHA1(userModel.username + password);



                  // Optionally store the password MD5 digest.

                  String type = app().settings().getString(Keys.realm.passwordStorage, "md5");

                  if (type.equalsIgnoreCase("md5")) {