Changeset 22605 for main/trunk/gli/src/org/greenstone/gatherer/util/Utility.java

Timestamp:

2010-08-11T21:28:34+12:00 (14 years ago)

Author:

ak19

Message:

Ticket #152: Allowing different paths to collect dir so that GLI can work with collect dirs on pen drives. NONE OF THESE CHANGES ARE FOR Client-GLI AS YET. 1. Preferences (Connection tab), Open and New Collection dialogs allow one to change the current collect directory containing the collections to select from. 2. New Collection dialog allows one to base a new collection on an existing collection in a collect dir other than the current collect dir. 3. Collections in the Documents in Greenstone Collections Workspace Tree Node now have two additional rightclick options: to move and copy these collections to another location.

File:

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

main/trunk/gli/src/org/greenstone/gatherer/util/Utility.java

@@ -459 +459 @@
     return new_name;
   }
+
+    
+    /** Write out a property line--a (property, value) pair--to the gsdl(3)site.cfg file.
+     * If the file already contains the line as-is, it is not re-written.   
+     * If the file doesn't contain the line, it is appended.
+     * If the file contained a different value for the property, the line is corrected
+     * and the file is written out.
+     * Not using the Properties class, as we want to keep the file's contents in the 
+     * same order and preserve all the comments in as they're meant to help the user.
+     */
+    public static void updatePropertyConfigFile(String filename, String propertyName, String propertyValue) {
+    BufferedReader fin = null;
+    BufferedWriter fout = null;
+    StringBuffer contents = new StringBuffer();
+    String insertLine = propertyName+"\t"+propertyValue+"\n"; // new line after every propertyLine
+    boolean found = false;
+    try {
+        fin = new BufferedReader(new FileReader(filename));
+        String line = "";
+        while((line = fin.readLine()) != null) {
+        if(line.startsWith(propertyName)) { // won't match comment
+            found = true;
+            if(line.equals(insertLine)) { // file is already correct, nothing to do
+            fin.close();
+            fin = null;
+            break;
+            } else {
+            contents.append(insertLine);
+            }
+
+        } else { // any other line
+            contents.append(line);          
+            contents.append("\n"); // ensures the required new line at end of file
+        }
+        }
+
+        if(fin != null) { // need to write something out to the file
+        fin.close();
+        fin = null;
+
+        // if collecthome wasn't already specified in the file, append it
+        if(!found) { 
+            fout = new BufferedWriter(new FileWriter(filename, true)); // append mode
+            fout.write(insertLine, 0, insertLine.length());
+        } else {
+            
+            fout = new BufferedWriter(new FileWriter(filename)); // hopefully this will overwrite
+            fout.write(contents.toString(), 0, contents.length());
+        }
+
+        fout.close();
+        fout = null;
+        } // else the file is fine
+    } catch(IOException e) {
+        System.err.println("*** Could not update file: " + filename); 
+        System.err.println("with the " + propertyName + " property set to " + propertyValue);
+        System.err.println("Exception occurred: " + e.getMessage());
+    } finally {
+        try {
+        if(fin != null) {
+            fin.close();
+            fin = null;
+        }
+        if(fout != null) {
+            fout.close();
+            fout = null;
+        }
+        } catch(IOException ioe) {
+        fin = null;
+        fout = null;
+        }
+        
+    }
+    
+    }
    
 }