Merge pull request #1073 from gitblit/1062-DocEditorUpdates

Paul Martin

2016-04-30 a502d96a860456ec5e8c96761db70f7cabb74751

 src/main/java/com/gitblit/servlet/GitblitContext.java

@@ -24,6 +24,7 @@
import java.text.MessageFormat;
import java.util.ArrayList;
import java.util.List;
import java.util.Set;

import javax.naming.Context;
import javax.naming.InitialContext;
@@ -44,6 +45,7 @@
import com.gitblit.guice.WebModule;
import com.gitblit.manager.IAuthenticationManager;
import com.gitblit.manager.IFederationManager;
import com.gitblit.manager.IFilestoreManager;
import com.gitblit.manager.IGitblit;
import com.gitblit.manager.IManager;
import com.gitblit.manager.INotificationManager;
@@ -204,6 +206,7 @@
      startManager(injector, ITicketService.class);
      startManager(injector, IGitblit.class);
      startManager(injector, IServicesManager.class);
      startManager(injector, IFilestoreManager.class);

      // start the plugin manager last so that plugins can depend on
      // deterministic access to all other managers in their start() methods
@@ -453,7 +456,12 @@
   }

   protected void extractResources(ServletContext context, String path, File toDir) {
      for (String resource : context.getResourcePaths(path)) {
      Set<String> resources = context.getResourcePaths(path);
      if (resources == null) {
         logger.warn("There are no WAR resources to extract from {}", path);
         return;
      }
      for (String resource : resources) {
         // extract the resource to the directory if it does not exist
         File f = new File(toDir, resource.substring(path.length()));
         if (!f.exists()) {