# HG changeset patch
# User Jaroslav Tulach <jaroslav.tulach@apidesign.org>
# Date 1382534148 -7200
# Node ID 6a41a849ea6b905f3745c241bff11cec032c59d3
# Parent  d28e1c58f508cd89863a47fde710fedf07c596e7
The bck2brwsr.js property can also point to an existing file on disk

diff -r d28e1c58f508 -r 6a41a849ea6b launcher/http/src/main/java/org/apidesign/bck2brwsr/launcher/Bck2BrwsrLauncher.java
--- a/launcher/http/src/main/java/org/apidesign/bck2brwsr/launcher/Bck2BrwsrLauncher.java	Wed Oct 23 14:56:31 2013 +0200
+++ b/launcher/http/src/main/java/org/apidesign/bck2brwsr/launcher/Bck2BrwsrLauncher.java	Wed Oct 23 15:15:48 2013 +0200
@@ -23,6 +23,7 @@
 import java.io.InputStream;
 import java.io.InputStreamReader;
 import java.io.Reader;
+import java.net.MalformedURLException;
 import java.net.URL;
 import java.util.logging.Level;
 import org.apidesign.vm4brwsr.Bck2Brwsr;
@@ -54,7 +55,18 @@
         String b2b = System.getProperty("bck2brwsr.js");
         if (b2b != null) {
             LOG.log(Level.INFO, "Serving bck2brwsr.js from {0}", b2b);
-            try (Reader r = new InputStreamReader(new URL(b2b).openStream())) {
+            URL bu;
+            try {
+                bu = new URL(b2b);
+            } catch (MalformedURLException ex) {
+                File f = new File(b2b);
+                if (f.exists()) {
+                    bu = f.toURI().toURL();
+                } else {
+                    throw ex;
+                }
+            }
+            try (Reader r = new InputStreamReader(bu.openStream())) {
                 char[] arr = new char[4096];
                 for (;;) {
                    int len = r.read(arr);