diff options
Diffstat (limited to 'org.eclipse.help.webapp/src/org/eclipse/help/internal/webapp/servlet/FilterHTMLHeadAndBodyOutputStream.java')
| -rw-r--r-- | org.eclipse.help.webapp/src/org/eclipse/help/internal/webapp/servlet/FilterHTMLHeadAndBodyOutputStream.java | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/org.eclipse.help.webapp/src/org/eclipse/help/internal/webapp/servlet/FilterHTMLHeadAndBodyOutputStream.java b/org.eclipse.help.webapp/src/org/eclipse/help/internal/webapp/servlet/FilterHTMLHeadAndBodyOutputStream.java index b041305ab..0b0d440df 100644 --- a/org.eclipse.help.webapp/src/org/eclipse/help/internal/webapp/servlet/FilterHTMLHeadAndBodyOutputStream.java +++ b/org.eclipse.help.webapp/src/org/eclipse/help/internal/webapp/servlet/FilterHTMLHeadAndBodyOutputStream.java @@ -103,6 +103,7 @@ public class FilterHTMLHeadAndBodyOutputStream extends FilterOutputStream { * @exception IOException * if an I/O error occurs. */ + @Override public final void write(int b) throws IOException { switch (state) { case STATE_START: @@ -291,6 +292,7 @@ public class FilterHTMLHeadAndBodyOutputStream extends FilterOutputStream { state = areaState; } + @Override public void write(byte b[], int off, int len) throws IOException { if (state == STATE_DONE) { out.write(b, off, len); @@ -306,6 +308,7 @@ public class FilterHTMLHeadAndBodyOutputStream extends FilterOutputStream { * * @see java.io.FilterOutputStream#close() */ + @Override public void close() throws IOException { reset(); super.close(); |