421197 - synchronize gzip output finish

1 files changed, 11 insertions, 1 deletions

diff --git a/jetty-servlets/src/main/java/org/eclipse/jetty/servlets/gzip/GzipOutputStream.java b/jetty-servlets/src/main/java/org/eclipse/jetty/servlets/gzip/GzipOutputStream.java
index 8f20c2f046..b6b45a67fb 100644
--- a/jetty-servlets/src/main/java/org/eclipse/jetty/servlets/gzip/GzipOutputStream.java
+++ b/jetty-servlets/src/main/java/org/eclipse/jetty/servlets/gzip/GzipOutputStream.java
@@ -41,13 +41,15 @@ public class GzipOutputStream extends DeflaterOutputStream
         out.write(GZIP_HEADER);
     }
 
+    @Override
     public synchronized void write(byte[] buf, int off, int len) throws IOException
     {
         super.write(buf,off,len);
         _crc.update(buf,off,len);
     }
 
-    public void finish() throws IOException
+    @Override
+    public synchronized void finish() throws IOException
     {
         if (!def.finished())
         {
@@ -58,6 +60,14 @@ public class GzipOutputStream extends DeflaterOutputStream
             out.write(trailer);
         }
     }
+    
+    @Override 
+    public synchronized void close() throws IOException
+    {
+        super.close();
+    }
+    
+    
 
     private void writeInt(int i, byte[] buf, int offset)
     {