Changeset 17629 for gli

Show
Ignore:
Timestamp:
29.10.2008 19:26:10 (11 years ago)
Author:
ak19
Message:

Reinstated the line in destroy() that sets gatherer to null, since it no longer seems to make a difference (such as crashing the browser) after the recent changes.

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • gli/trunk/src/org/greenstone/gatherer/GathererApplet.java

    r17560 r17629  
    202202    System.err.println("Destroy called"); 
    203203    gatherer.exit(); 
    204     // Don't do the following: on reloading the applet in the browser  
    205     // the browser (tested on Firefox) crashes if gatherer set to null here. 
    206     //gatherer = null;  
     204    gatherer = null; 
    207205    System.err.println("Done gatherer exit."); 
    208206    } 
     
    216214 
    217215    /**  
    218      * Method which unzips a given metadata resoure. 
     216     * Method which unzips a given metadata resource. 
    219217     * @param jar_zip_fname The name of the jar file as a <strong>String</strong>. 
    220218     * @param dst_dir The destination directory for unzipping, also as a <strong>String</strong>.