diff options
| author | Johannes Dahlström <johannesd@vaadin.com> | 2015-05-13 11:03:58 +0300 |
|---|---|---|
| committer | Johannes Dahlström <johannesd@vaadin.com> | 2015-05-13 11:06:50 +0300 |
| commit | 31aea7e2bcabb461a324341186a09a99e3139758 (patch) | |
| tree | 4949b29db1c1c0d43c99ae966210cf0e8b1d262a /server/src | |
| parent | 93764926d6a014cd14e1f3cffea3ef22ce7e40fb (diff) | |
| download | vaadin-framework-31aea7e2bcabb461a324341186a09a99e3139758.tar.gz vaadin-framework-31aea7e2bcabb461a324341186a09a99e3139758.zip | |
Catch even more exceptions when trying to open a gzipped resource (#13653)
URL.openConnection may also throw if the file does not exist.
Change-Id: I254a5b6591f34b0f11b20c6c9ab81c0cb51af672
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"); |