Changeset 22807 for main/trunk/gli/src/org/greenstone/gatherer/gui/OptionsPane.java

Timestamp:

2010-08-30T19:32:02+12:00 (14 years ago)

Author:

ak19

Message:

Fixed a bug in GLI where we weren't able to delete a collection just built (even without any docs in it) and which had just been closed. The reason was that the build_log file was never properly closed until a new collection was opened, at which point we could finally delete the previously closed collection. Now on CollectionManager.closeCollection(), GLI ensures that any currently active build_log in OptionsPane is closed (which calls the new close method in AppendLineOnlyFileDocument.

File:

• main/trunk/gli/src/org/greenstone/gatherer/gui/OptionsPane.java (modified) (1 diff)

main/trunk/gli/src/org/greenstone/gatherer/gui/OptionsPane.java

@@ -377 +377 @@
     return file_entry.getDocument();
     }
+    
+    /** ensure the current build_log file has finished transferring from memory to disk, and that the random access
+    *  file is properly closed when a collection is closed.  Else we can't delete the just-closed collection since the 
+    * build_log file resource is still kept open. */
+    public void closeCurrentLogDocument() {
+        if(file_entry == null) {
+            return;
+        }
+        AppendLineOnlyFileDocument buildDoc = file_entry.getDocument();
+        if(buildDoc != null) {
+            buildDoc.close();
+        }       
+    }