From f7240fee384cdfa9095d11fd70cc8de905a794a3 Mon Sep 17 00:00:00 2001
From: Greg Wilkins <gregw@intalio.com>
Date: Thu, 7 Nov 2013 16:48:07 +1100
Subject: [PATCH] 421197 - synchronize gzip output finish

---
 .../jetty/servlets/gzip/GzipOutputStream.java        | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

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 8f20c2f046e..b6b45a67fbb 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)
     {