]> source.dussan.org Git - vaadin-framework.git/commit
development server now dies properly if address is already in use or another prevente...
authorMatti Tahvonen <matti.tahvonen@itmill.com>
Wed, 26 May 2010 08:57:16 +0000 (08:57 +0000)
committerMatti Tahvonen <matti.tahvonen@itmill.com>
Wed, 26 May 2010 08:57:16 +0000 (08:57 +0000)
commitbfaf1b0c4a9a7b40a4115e6e737dcd9ed3b9b374
tree07644a71fe1d9a3d4994f70a3cdc5fdca69443a7
parentdd5ee4f3b5ec0f817fffc22b010254af3ee3077c
development server now dies properly if address is already in use or another prevented jetty to properly start up

svn changeset:13366/svn branch:6.4
src/com/vaadin/launcher/DemoLauncher.java
src/com/vaadin/launcher/DevelopmentServerLauncher.java