!636

!standard functions

main {

  psvm {

    File file = loadDataSnippet("#1000304"); // jar file (1.x MB)

    System.out.println(file);

    System.out.println("  " + file.length());

  }

  static File loadDataSnippet(String snippetID) throws IOException {

    File libraryFile = DiskSnippetCache_getLibrary(parseSnippetID(snippetID));

    if (libraryFile == null) {

      byte[] data = loadDataSnippetImpl(snippetID);

      DiskSnippetCache_putLibrary(parseSnippetID(snippetID), data);

      libraryFile = DiskSnippetCache_getLibrary(parseSnippetID(snippetID));

    }

    return libraryFile;

  }

  static byte[] loadDataSnippetImpl(String snippetID) throws IOException {

    byte[] data;

    try {

      URL url = new URL("http://eyeocr.sourceforge.net/filestore/filestore.php?cmd=serve&file=blob_"

        + parseSnippetID(snippetID) + "&contentType=application/binary");

      System.err.println("Loading library: " + url);

      data = loadBinaryPage(url.openConnection());

    } catch (FileNotFoundException e) {

      throw new IOException("Binary snippet #" + snippetID + " not found or not public");

    }

    return data;

  }

  public static synchronized File DiskSnippetCache_getLibrary(long snippetID) throws IOException {

    initSnippetCache();

    File file = new File(DiskSnippetCache_dir, "data_" + snippetID + ".jar");

    return file.exists() ? file : null;

  }

  public static synchronized void DiskSnippetCache_putLibrary(long snippetID, byte[] data) throws IOException {

    initSnippetCache();

    saveBinaryFile(new File(DiskSnippetCache_dir, "data_" + snippetID).getPath() + ".jar", data);

  }

}