Changeset 4812 in josm


Ignore:
Timestamp:
Jan 17, 2012 3:21:50 PM (17 months 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.