From 244abd0af6cc0b5d99c9bc21b1a976fb74218b11 Mon Sep 17 00:00:00 2001
From: srosse <none@none>
Date: Thu, 23 Oct 2014 14:20:56 +0200
Subject: [PATCH] OO-1264: fix user tool in top navigation on new installed
 system

---
 src/main/java/org/olat/gui/control/OlatTopNavController.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/java/org/olat/gui/control/OlatTopNavController.java b/src/main/java/org/olat/gui/control/OlatTopNavController.java
index 072d343506f..05fa7212c07 100644
--- a/src/main/java/org/olat/gui/control/OlatTopNavController.java
+++ b/src/main/java/org/olat/gui/control/OlatTopNavController.java
@@ -241,7 +241,7 @@ public class OlatTopNavController extends BasicController implements GenericEven
 			if (anExt.isEnabled() && ae instanceof GenericActionExtension) {
 				GenericActionExtension gAe = (GenericActionExtension) ae;
 				String extensionId = gAe.getUniqueExtensionID();
-				if(availableToolSet.contains(extensionId)) {
+				if(availableToolSet.isEmpty() || availableToolSet.contains(extensionId)) {
 					GenericTreeNode node = gAe.createMenuNode(ureq);
 					String linkName = "personal.tool." + node.getIdent();
 					Link link = LinkFactory.createLink(linkName, container, this);
-- 
GitLab