]> source.dussan.org Git - vaadin-framework.git/commit
projects / vaadin-framework.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eaec281) | patch
Terminate JVM if server.close() has no effect (#12363)
authorLeif Åstrand <leif@vaadin.com>
Tue, 13 Aug 2013 10:17:41 +0000 (13:17 +0300)
committerLeif Åstrand <leif@vaadin.com>
Tue, 13 Aug 2013 10:17:59 +0000 (13:17 +0300)
commitf72be69c60432bb94251cd7a73ad167062f9c6a8
treea2439d77303348e18a437fd933eecf3eb64a0e09tree | snapshot
parenteaec28197b1b9791a75e69adc5d01e1ffb0929a8commit | diff
Terminate JVM if server.close() has no effect (#12363)

Change-Id: If024d94d496a6cf2e6f0f342d368ac7bd746de38
uitest/src/com/vaadin/launcher/DevelopmentServerLauncher.java diff | blob | history
Vaadin 6, 7, 8 is a Java framework for modern Java web applications: https://github.com/vaadin/framework