Changeset 2017


Ignore:
Timestamp:
01/04/07 14:04:31 (13 years ago)
Author:
chris
Message:

Browser:
1) something here must have changed, but I forget at this
point. I can't duplicate the race error now, so hmm. I did
redo the tools compiling stuff seems to be working now??

Location:
trunk/loci/plugins/browser
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • trunk/loci/plugins/browser/CacheManager.java

    r2015 r2017  
    5959 
    6060  /** Flags debug messages on/off.*/ 
    61   public static final boolean DEBUG = false; 
     61  public static final boolean DEBUG = true; 
    6262 
    6363  // -- Fields -- 
     
    20602060    } 
    20612061  } 
    2062    
     2062 
     2063  public void finish() { 
     2064    quit = true; 
     2065  }   
    20632066} 
  • trunk/loci/plugins/browser/CustomWindow.java

    r2007 r2017  
    603603  public void windowClosed(WindowEvent e) { 
    604604    if (animationTimer != null) animationTimer.stop(); 
     605    db.manager.finish(); 
    605606    super.windowClosed(e); 
    606607  } 
Note: See TracChangeset for help on using the changeset viewer.