issue-361: Reset user cookie after administrative password change

James Moger

2014-01-28 7ab32b65fcb20ca68d7afc357befb3a34de662bf

 src/main/java/com/gitblit/manager/IRepositoryManager.java

@@ -30,7 +30,7 @@
import com.gitblit.models.SearchResult;
import com.gitblit.models.UserModel;

public interface IRepositoryManager {
public interface IRepositoryManager extends IManager {

   /**
    * Returns the path of the repositories folder. This method checks to see if