Changeset 5678

Timestamp:

2003-10-17T09:49:18+13:00 (21 years ago)

Author:

jmt12

Message:

Added a check whether the lock file has been successfully removed, and if not an error message is sent to console

File:

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

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

@@ -199 +199 @@
     File lock_file = new File(Utility.getCollectionDir(Gatherer.config.gsdl_path) + collection.getName() + File.separator + LOCK_FILE);
     lock_file.delete();
+    if(lock_file.exists()) {
+       System.err.println("Lockfile was not successfully deleted.");
+    }
     collection.msm.destroy();
     collection = null;