From c7b0119ea09d3650762275bd96e2d5e61161aa8d Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Wed, 12 Jan 2005 18:13:54 +0000
Subject: [PATCH] must append file:/// at beginning of file launch

---
 src/jalview/io/HTMLOutput.java |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/jalview/io/HTMLOutput.java b/src/jalview/io/HTMLOutput.java
index 7988182..af6e255 100755
--- a/src/jalview/io/HTMLOutput.java
+++ b/src/jalview/io/HTMLOutput.java
@@ -96,7 +96,7 @@ public class HTMLOutput
 
         out.close();
 
-        jalview.util.BrowserLauncher.openURL( choice );
+        jalview.util.BrowserLauncher.openURL( "file:///"+choice );
       }
       catch(Exception ex){ex.printStackTrace();}
     }
-- 
1.7.10.2