]> source.dussan.org Git - vaadin-framework.git/commit
projects / vaadin-framework.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9376492) | patch
Catch even more exceptions when trying to open a gzipped resource (#13653)
authorJohannes Dahlström <johannesd@vaadin.com>
Wed, 13 May 2015 08:03:58 +0000 (11:03 +0300)
committerJohannes Dahlström <johannesd@vaadin.com>
Wed, 13 May 2015 08:06:50 +0000 (11:06 +0300)
commit31aea7e2bcabb461a324341186a09a99e3139758
tree4949b29db1c1c0d43c99ae966210cf0e8b1d262atree | snapshot
parent93764926d6a014cd14e1f3cffea3ef22ce7e40fbcommit | diff
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
server/src/com/vaadin/server/VaadinServlet.java diff | blob | history
Vaadin 6, 7, 8 is a Java framework for modern Java web applications: https://github.com/vaadin/framework