Changeset 22340

Timestamp:

2010-07-02T15:18:53+12:00 (14 years ago)

Author:

sjm84

Message:

Ticket #697: GLI shortcuts to locations that don't exist anymore are no longer loaded upon GLI startup.

File:

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

main/trunk/gli/src/org/greenstone/gatherer/Configuration.java

@@ -501 +501 @@
         String name = mapping_element.getAttribute(StaticStrings.NAME_ATTRIBUTE);
         File file = new File(mapping_element.getAttribute(StaticStrings.FILE_ATTRIBUTE));
-        special_directories.put(name, file);
+        if(file.exists()) {
+            special_directories.put(name, file);
+        }
         file = null;
         name = null;