Fix repository deletion bug where the Lucene ticket index was not purged

James Moger

2014-09-08 c599bd17342d7019c68cd6dbea48c0b27efebd38

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

@@ -83,6 +83,7 @@
import com.gitblit.utils.JsonUtils;
import com.gitblit.utils.ObjectCache;
import com.gitblit.utils.StringUtils;
import com.gitblit.utils.XssFilter;
import com.google.gson.Gson;
import com.google.gson.JsonIOException;
import com.google.gson.JsonSyntaxException;
@@ -663,6 +664,11 @@
      return runtimeManager.getStatus();
   }

   @Override
   public XssFilter getXssFilter() {
      return runtimeManager.getXssFilter();
   }

   /*
    * NOTIFICATION MANAGER
    */
@@ -976,6 +982,11 @@
   }

   @Override
   public List<RepositoryModel> getRepositoryModels() {
      return repositoryManager.getRepositoryModels();
   }

   @Override
   public List<RepositoryModel> getRepositoryModels(UserModel user) {
      return repositoryManager.getRepositoryModels(user);
   }