Changeset 22340

Show
Ignore:
Timestamp:
02.07.2010 15:18:53 (9 years ago)
Author:
sjm84
Message:

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

Files:
1 modified

Legend:

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

    r18589 r22340  
    501501        String name = mapping_element.getAttribute(StaticStrings.NAME_ATTRIBUTE); 
    502502        File file = new File(mapping_element.getAttribute(StaticStrings.FILE_ATTRIBUTE)); 
    503         special_directories.put(name, file); 
     503        if(file.exists()) { 
     504            special_directories.put(name, file); 
     505        } 
    504506        file = null; 
    505507        name = null;