home *** CD-ROM | disk | FTP | other *** search
/ Symantec Visual Cafe for Java 2.5 / symantec-visual-cafe-2.5-database-dev-edition.iso / VPage / Java.bin / CLASSES.ZIP / sun / net / www / protocol / doc / Handler.class (.txt) < prev   
Encoding:
Java Class File  |  1997-07-08  |  1.7 KB  |  61 lines
  1. package sun.net.www.protocol.doc;
  2.  
  3. import java.io.File;
  4. import java.io.IOException;
  5. import java.net.MalformedURLException;
  6. import java.net.URL;
  7. import java.net.URLConnection;
  8. import java.net.URLStreamHandler;
  9.  
  10. public class Handler extends URLStreamHandler {
  11.    static String base = System.getProperty("doc.url");
  12.    static String installDirectory;
  13.  
  14.    public synchronized URLConnection openConnection(URL var1) throws IOException {
  15.       String var2 = var1.getFile();
  16.       var2 = installDirectory + var2;
  17.       File var3 = new File(var2);
  18.       if (var3 != null && var3.exists() && !var3.isDirectory()) {
  19.          return new DocURLConnection(var1);
  20.       } else {
  21.          URLConnection var4 = null;
  22.  
  23.          URL var5;
  24.          try {
  25.             var2 = var1.getFile();
  26.             if (var2.charAt(0) == '/') {
  27.                var2 = var2.substring(1);
  28.             }
  29.  
  30.             var5 = new URL(base + var2);
  31.          } catch (MalformedURLException var6) {
  32.             var5 = null;
  33.          }
  34.  
  35.          if (var5 != null) {
  36.             var4 = var5.openConnection();
  37.          }
  38.  
  39.          if (var4 == null) {
  40.             throw new IOException("Can't find file for URL: " + var1.toExternalForm());
  41.          } else {
  42.             return var4;
  43.          }
  44.       }
  45.    }
  46.  
  47.    static {
  48.       if (base == null) {
  49.          base = "http://java.sun.com/HotJava/";
  50.       } else if (base.charAt(base.length() - 1) != '/') {
  51.          base = base + "/";
  52.       }
  53.  
  54.       installDirectory = System.getProperty("hotjava.home");
  55.       if (installDirectory == null) {
  56.          installDirectory = "/usr/local/hotjava";
  57.       }
  58.  
  59.    }
  60. }
  61.