private static int fetch_one(File file, String url) {
URL u;
- System.out.printf("Loading URL %s\n", url);
try {
u = new URL(url);
} catch (java.net.MalformedURLException e) {
return new Point (x, y);
}
+/*
private static void dump_cache() {
int min_x = 1000, max_x = -1000, min_y = 1000, max_y = -1000;
System.out.printf("\n");
}
}
+*/
public static AltosSiteMapImage get_image(AltosSiteMapTile tile, File file, int width, int height) {
int oldest = -1;