X-Git-Url: http://git.argeo.org/?a=blobdiff_plain;f=server%2Fplugins%2Forg.argeo.jcr.ui.explorer%2Fsrc%2Fmain%2Fjava%2Forg%2Fargeo%2Fjcr%2Fui%2Fexplorer%2Futils%2FJcrUiUtils.java;h=ca32113ed52f523c544c7a897aff73b3ec720e5a;hb=e567e77bace1738a88e06d09ec5c7f3c1fae3fc2;hp=ad327f09853feb07773be9bb27c76dfde6aed4f8;hpb=b3fd827c297b7d73879348cf6763fbb208a2deba;p=lgpl%2Fargeo-commons.git

diff --git a/server/plugins/org.argeo.jcr.ui.explorer/src/main/java/org/argeo/jcr/ui/explorer/utils/JcrUiUtils.java b/server/plugins/org.argeo.jcr.ui.explorer/src/main/java/org/argeo/jcr/ui/explorer/utils/JcrUiUtils.java
index ad327f098..ca32113ed 100644
--- a/server/plugins/org.argeo.jcr.ui.explorer/src/main/java/org/argeo/jcr/ui/explorer/utils/JcrUiUtils.java
+++ b/server/plugins/org.argeo.jcr.ui.explorer/src/main/java/org/argeo/jcr/ui/explorer/utils/JcrUiUtils.java
@@ -53,10 +53,16 @@ public class JcrUiUtils {
 						doRefresh = true;
 				}
 			} else if (element instanceof RepositoriesElem) {
-				RepositoriesElem rn = (RepositoriesElem) element;
-				if (element.getChildren().length != rn.getRepositoryRegister()
-						.getRepositories().size())
-					doRefresh = true;
+				doRefresh = true;
+				// Always force refresh for RepositoriesElem : the condition
+				// below does not take remote repository into account and it is
+				// not trivial to do so.
+
+				// RepositoriesElem rn = (RepositoriesElem) element;
+				// if (element.getChildren().length !=
+				// rn.getRepositoryRegister()
+				// .getRepositories().size())
+				// doRefresh = true;
 			}
 			if (doRefresh) {
 				element.clearChildren();