Merge pull request #1022 from gitblit/974-in-browser-doc-editor

Paul Martin

2016-03-28 33f3580f8f4499ac9cd4812872c94fcdd81a5829

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

@@ -367,6 +367,10 @@
                     && file.getName().toLowerCase().endsWith(Constants.PROPOSAL_EXT);
            }
         });
         if (files == null) {
            return list;
         }
				
         for (File file : files) {
            String json = com.gitblit.utils.FileUtils.readContent(file, null);
            FederationProposal proposal = JsonUtils.fromJsonString(json,