Ignore:
Timestamp:
2005-08-01T13:58:47+12:00 (19 years ago)
Author:
mdewsnip
Message:

Gatherer.setGLIUserDirectoryPath() now creates the directory if it doesn't exist.

File:
1 edited

Legend:

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

    r10362 r10372  
    7171    Gatherer.setGLIUserDirectoryPath(gli_user_directory_path);
    7272
    73     // Ensure the GLI user directory exists
    74         File gli_user_directory = new File(gli_user_directory_path);
    75     if (!gli_user_directory.exists() && !gli_user_directory.mkdirs()) {
    76         System.err.println("Error: Unable to make directory: " + gli_user_directory.toString());
    77     }
    78 
    7973    // We have a local GLI
    8074    Gatherer.setGLIDirectoryPath(System.getProperty("user.dir") + File.separator);
Note: See TracChangeset for help on using the changeset viewer.