diff options
Diffstat (limited to 'server/src')
-rw-r--r-- | server/src/com/vaadin/server/VaadinServlet.java | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/server/src/com/vaadin/server/VaadinServlet.java b/server/src/com/vaadin/server/VaadinServlet.java index b30f6acf16..7aada2402d 100644 --- a/server/src/com/vaadin/server/VaadinServlet.java +++ b/server/src/com/vaadin/server/VaadinServlet.java @@ -871,9 +871,8 @@ public class VaadinServlet extends HttpServlet implements Constants { if (allowServePrecompressedResource(request, urlStr)) { // try to serve a precompressed version if available - URL url = new URL(urlStr + ".gz"); - connection = url.openConnection(); try { + connection = new URL(urlStr + ".gz").openConnection(); is = connection.getInputStream(); // set gzip headers response.setHeader("Content-Encoding", "gzip"); |