Added some code to enable browser to display remote documents.
authorberghofe
Mon, 17 May 1999 16:48:58 +0200
changeset 6648 d70810da5565
parent 6647 9ec7b9723f43
child 6649 2156012be986
Added some code to enable browser to display remote documents.
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";