]> source.dussan.org Git - vaadin-framework.git/commit
#7375 Close previous DevelopmentServerLauncher when a new one is opened
authorLeif Åstrand <leif@vaadin.com>
Tue, 9 Aug 2011 06:50:03 +0000 (06:50 +0000)
committerLeif Åstrand <leif@vaadin.com>
Tue, 9 Aug 2011 06:50:03 +0000 (06:50 +0000)
commit5793ebf976d41656f16dc3f792cf4380ff570c93
treea8811a2ae8728b04f21e79dc6efacdcc17446762
parent4db6d61b0f295e17330dd942087618aecb0e3128
#7375 Close previous DevelopmentServerLauncher when a new one is opened

svn changeset:20193/svn branch:6.7
src/com/vaadin/launcher/DevelopmentServerLauncher.java