issue-361: Reset user cookie after administrative password change

James Moger

2014-01-28 7ab32b65fcb20ca68d7afc357befb3a34de662bf

 src/main/java/com/gitblit/Constants.java

@@ -70,7 +70,9 @@


   public static final String BRANCH_GRAPH_PATH = "/graph/";



   public static final String BORDER = "***********************************************************";

   public static final String BORDER = "*****************************************************************";



   public static final String BORDER2 = "#################################################################";



   public static final String FEDERATION_USER = "$gitblit";