diff options
author | Chris Goldthorpe | 2010-09-29 21:15:07 +0000 |
---|---|---|
committer | Chris Goldthorpe | 2010-09-29 21:15:07 +0000 |
commit | d9de39ac03a1d7ca3b27ac916af89416b3b85124 (patch) | |
tree | a7b61a82be695ea0cd3f275d3879b6ade587adc7 /org.eclipse.help.webapp | |
parent | 9dd337e439febb794d6d92a587b797e43cc2134b (diff) | |
download | eclipse.platform.ua-d9de39ac03a1d7ca3b27ac916af89416b3b85124.tar.gz eclipse.platform.ua-d9de39ac03a1d7ca3b27ac916af89416b3b85124.tar.xz eclipse.platform.ua-d9de39ac03a1d7ca3b27ac916af89416b3b85124.zip |
Bug 323365 - [Webapp] Contents page shows topic labels with <link toc> tags, that reference to inaccessible plugin
Diffstat (limited to 'org.eclipse.help.webapp')
-rw-r--r-- | org.eclipse.help.webapp/src/org/eclipse/help/internal/webapp/servlet/NavServlet.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/org.eclipse.help.webapp/src/org/eclipse/help/internal/webapp/servlet/NavServlet.java b/org.eclipse.help.webapp/src/org/eclipse/help/internal/webapp/servlet/NavServlet.java index f8beaf7f9..34ecf6508 100644 --- a/org.eclipse.help.webapp/src/org/eclipse/help/internal/webapp/servlet/NavServlet.java +++ b/org.eclipse.help.webapp/src/org/eclipse/help/internal/webapp/servlet/NavServlet.java @@ -25,6 +25,7 @@ import javax.servlet.http.HttpServletResponse; import org.eclipse.help.ITopic; import org.eclipse.help.base.AbstractHelpScope; import org.eclipse.help.internal.HelpPlugin; +import org.eclipse.help.internal.base.scope.ScopeUtils; import org.eclipse.help.internal.webapp.WebappResources; import org.eclipse.help.internal.webapp.data.RequestScope; import org.eclipse.help.internal.webapp.data.UrlUtil; @@ -108,7 +109,7 @@ public class NavServlet extends HttpServlet { writer.write("<ul class=\"NavList\">\n"); //$NON-NLS-1$ ITopic[] subtopics = topic.getSubtopics(); for (int i=0;i<subtopics.length;++i) { - if (scope.inScope(subtopics[i])) { + if (ScopeUtils.showInTree(subtopics[i], scope)) { writer.write("<li><a href=\""); //$NON-NLS-1$ String href = subtopics[i].getHref(); if (href == null) { |