Changeset 2118


Ignore:
Timestamp:
01/17/07 16:59:35 (13 years ago)
Author:
melissa
Message:

Use Location.getMappedId.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/loci/formats/RandomAccessStream.java

    r2081 r2118  
    8989   */ 
    9090  public RandomAccessStream(String file) throws IOException { 
    91     File f = new File(file); 
     91    File f = new File(Location.getMappedId(file)); 
    9292    f = f.getAbsoluteFile(); 
    9393    if (f.exists()) { 
    9494      raf = new RAFile(f, "r"); 
    9595      dis = new DataInputStream(new BufferedInputStream( 
    96         new FileInputStream(file), MAX_OVERHEAD)); 
     96        new FileInputStream(Location.getMappedId(file)), MAX_OVERHEAD)); 
    9797      int len = (int) raf.length(); 
    9898      buf = new byte[len < MAX_OVERHEAD ? len : MAX_OVERHEAD]; 
     
    104104    } 
    105105    else { 
    106       raf = new RAUrl(file, "r"); 
     106      raf = new RAUrl(Location.getMappedId(file), "r"); 
    107107    } 
    108108    this.file = file; 
Note: See TracChangeset for help on using the changeset viewer.