# HG changeset patch
# User berghofe
# Date 926952538 -7200
# Node ID d70810da55656c5278336ef278898f3f5e694617
# Parent  9ec7b9723f439f42cc3ea0f9628730d2dd6f02b8
Added some code to enable browser to display remote documents.

diff -r 9ec7b9723f43 -r d70810da5565 lib/browser/GraphBrowser/GraphBrowser.java
--- a/lib/browser/GraphBrowser/GraphBrowser.java	Mon May 17 10:38:47 1999 +0200
+++ b/lib/browser/GraphBrowser/GraphBrowser.java	Mon May 17 16:48:58 1999 +0200
@@ -56,10 +56,17 @@
 				getAppletContext().showDocument(new URL(getDocumentBase(), fname), "_blank");
 			else {
 				String path = gfname.substring(0, gfname.lastIndexOf('/') + 1);
+				Reader rd;
 				BufferedReader br;
 				String line, text = "";
 
-				br = new BufferedReader(new FileReader(path + fname));
+				try {
+					rd = new BufferedReader(new InputStreamReader((new URL(fname)).openConnection().getInputStream()));
+				} catch (Exception exn) {
+					rd = new FileReader(path + fname);
+				}
+				br = new BufferedReader(rd);
+
 				while ((line = br.readLine()) != null)
 					text += line + "\n";