# HG changeset patch
# User Jaroslav Tulach <jaroslav.tulach@apidesign.org>
# Date 1363765300 -3600
# Node ID b11992f928c749866bec7abeebce1c245966ccea
# Parent  acffc26790d7c390effc0fb167160aaa3758b0db
Stop the VM when browser is closed

diff -r acffc26790d7 -r b11992f928c7 rt/launcher/src/main/java/org/apidesign/bck2brwsr/launcher/WebViewLauncher.java
--- a/rt/launcher/src/main/java/org/apidesign/bck2brwsr/launcher/WebViewLauncher.java	Wed Mar 20 08:41:24 2013 +0100
+++ b/rt/launcher/src/main/java/org/apidesign/bck2brwsr/launcher/WebViewLauncher.java	Wed Mar 20 08:41:40 2013 +0100
@@ -61,6 +61,13 @@
                 @Override
                 public void run() {
                     FXBrwsr.launch(FXBrwsr.class, url.toString());
+                    LOG.log(Level.FINE, "Launcher is back!");
+                    try {
+                        close();
+                    } catch (IOException ex) {
+                        LOG.log(Level.WARNING, null, ex);
+                    }
+                    System.exit(0);
                 }
             });
         } catch (Throwable ex) {
@@ -83,6 +90,7 @@
     
     @Override
     public void close() throws IOException {
+        super.close();
         Platform.exit();
     }