Changeset 4812 in josm for trunk


Ignore:
Timestamp:
2012-01-17T15:21:50+01:00 (8 years ago)
Author:
bastiK
Message:

use cache folder for MirroredInputStream as well

Location:
trunk/src/org/openstreetmap/josm
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/data/validation/tests/TagChecker.java

    r4806 r4812  
    200200        for (String source : sources.split(";")) {
    201201            try {
    202                 MirroredInputStream s = new MirroredInputStream(source, OsmValidator.getValidatorDir(), -1);
     202                MirroredInputStream s = new MirroredInputStream(source);
    203203                InputStreamReader r;
    204204                try {
  • trunk/src/org/openstreetmap/josm/io/MirroredInputStream.java

    r4638 r4812  
    2424
    2525import org.openstreetmap.josm.Main;
     26import org.openstreetmap.josm.tools.Utils;
    2627
    2728/**
     
    6970                }
    7071            } else {
    71                 if(Main.applet) {
     72                if (Main.applet) {
    7273                    URLConnection conn = url.openConnection();
    7374                    conn.setConnectTimeout(Main.pref.getInteger("socket.timeout.connect",15)*1000);
     
    8081            }
    8182        } catch (java.net.MalformedURLException e) {
    82             if(name.startsWith("resource://")) {
     83            if (name.startsWith("resource://")) {
    8384                fs = getClass().getResourceAsStream(
    8485                        name.substring("resource:/".length()));
     
    161162                    }
    162163                }
    163                 Main.pref.put(prefKey, null);
     164                Main.pref.putCollection(prefKey, null);
    164165            }
    165166        } catch (java.net.MalformedURLException e) {}
     
    174175        StringBuilder prefKey = new StringBuilder("mirror.");
    175176        if (destDir != null) {
    176             String prefDir = Main.pref.getPreferencesDir();
    177             if (destDir.startsWith(prefDir)) {
    178                 destDir = destDir.substring(prefDir.length());
    179             }
    180177            prefKey.append(destDir);
    181178            prefKey.append(".");
     
    198195                        || maxTime <= 0 // arbitrary value <= 0 is deprecated
    199196                ) {
    200                     maxTime = Main.pref.getInteger("mirror.maxtime", 7*24*60*60);
     197                    maxTime = Main.pref.getInteger("mirror.maxtime", 7*24*60*60); // one week
    201198                }
    202199                age = System.currentTimeMillis() - Long.parseLong(localPathEntry.get(0));
     
    206203            }
    207204        }
    208         if(destDir == null) {
    209             destDir = Main.pref.getPreferencesDir();
     205        if (destDir == null) {
     206            destDir = Main.pref.getCacheDirectory().getPath();
    210207        }
    211208
     
    252249            }
    253250        } finally {
    254             if (bis != null) {
    255                 try {
    256                     bis.close();
    257                 } catch (IOException e) {
    258                     e.printStackTrace();
    259                 }
    260             }
    261             if (bos != null) {
    262                 try {
    263                     bos.close();
    264                 } catch (IOException e) {
    265                     e.printStackTrace();
    266                 }
    267             }
     251            Utils.close(bis);
     252            Utils.close(bos);
    268253        }
    269254
Note: See TracChangeset for help on using the changeset viewer.