Changeset 10372

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.

Location:

trunk/gli/src/org/greenstone/gatherer

Files:

• Gatherer.java (modified) (1 diff)
• GathererApplet.java (modified) (1 diff)
• GathererProg.java (modified) (1 diff)

trunk/gli/src/org/greenstone/gatherer/Gatherer.java

@@ -598 +598 @@
     {
     gli_user_directory_path = gli_user_directory_path_arg;
+
+    // Ensure the GLI user directory exists
+    File gli_user_directory = new File(gli_user_directory_path);
+    if (!gli_user_directory.exists() && !gli_user_directory.mkdirs()) {
+        System.err.println("Error: Unable to make directory: " + gli_user_directory);
+    }
     }
 

trunk/gli/src/org/greenstone/gatherer/GathererApplet.java

@@ -107 +107 @@
     Gatherer.setGLIUserDirectoryPath(gli_user_directory_path);
 
-    // Ensure the GLI user directory exists
-        File gli_user_directory = new File(gli_user_directory_path);
-    if (!gli_user_directory.exists() && !gli_user_directory.mkdirs()) {
-        System.err.println("Error: Unable to make directory: " + gli_user_directory.toString());
-    }
-
     // If we're running as an applet we don't have a local GLI, so use the user directory path as the GLI path
     Gatherer.setGLIDirectoryPath(gli_user_directory_path);

trunk/gli/src/org/greenstone/gatherer/GathererProg.java

@@ -71 +71 @@
     Gatherer.setGLIUserDirectoryPath(gli_user_directory_path);
 
-    // Ensure the GLI user directory exists
-        File gli_user_directory = new File(gli_user_directory_path);
-    if (!gli_user_directory.exists() && !gli_user_directory.mkdirs()) {
-        System.err.println("Error: Unable to make directory: " + gli_user_directory.toString());
-    }
-
     // We have a local GLI
     Gatherer.setGLIDirectoryPath(System.getProperty("user.dir") + File.separator);