Changeset 7605

Timestamp:

2004-06-17T11:52:44+12:00 (20 years ago)

Author:

mdewsnip

Message:

Added a two second wait as well, so the OS has finished deleting the index directory before we rename the building directory to index.

File:

• trunk/gli/src/org/greenstone/gatherer/collection/CollectionManager.java (modified) (1 diff)

trunk/gli/src/org/greenstone/gatherer/collection/CollectionManager.java

@@ -1442 +1442 @@
         if (index_dir.exists()) {
             Utility.delete(index_dir);
+
+            // Wait for a couple of seconds, just for luck
+            wait(2000);
+
             // Check the delete worked
             if (index_dir.exists()) {