diff options
Diffstat (limited to 'org.eclipse.help.webapp/src/org/eclipse/help/internal/webapp/servlet/FramesetFilter.java')
-rw-r--r-- | org.eclipse.help.webapp/src/org/eclipse/help/internal/webapp/servlet/FramesetFilter.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/org.eclipse.help.webapp/src/org/eclipse/help/internal/webapp/servlet/FramesetFilter.java b/org.eclipse.help.webapp/src/org/eclipse/help/internal/webapp/servlet/FramesetFilter.java index ba0826b49..499ceb647 100644 --- a/org.eclipse.help.webapp/src/org/eclipse/help/internal/webapp/servlet/FramesetFilter.java +++ b/org.eclipse.help.webapp/src/org/eclipse/help/internal/webapp/servlet/FramesetFilter.java @@ -33,6 +33,7 @@ public class FramesetFilter implements IFilter { /* * @see IFilter#filter(HttpServletRequest, OutputStream) */ + @Override public OutputStream filter(HttpServletRequest req, OutputStream out) { String uri = req.getRequestURI(); String url = req.getPathInfo(); |