Changeset 6632

Timestamp:

2004-01-28T14:39:40+13:00 (20 years ago)

Author:

jmt12

Message:

In order to allow for other types of logs, the AppendLineOnlyFileDocument can now be created as a non-build script log. This is useful for the new mirroring stuff.

File:

• trunk/gli/src/org/greenstone/gatherer/util/AppendLineOnlyFileDocument.java (modified) (6 diffs)

trunk/gli/src/org/greenstone/gatherer/util/AppendLineOnlyFileDocument.java

@@ -54 +54 @@
     /** The current owner of this document, useful for callbacks when certain tasks are complete. */
     private AppendLineOnlyFileDocumentOwner owner;
+    /** Is this document a build log, and hence has some extra functionality, of just a straight log. */
+    private boolean build_log = false;
     /** A list of listeners attached to this document. */
     private EventListenerList listeners_list;
@@ -66 +68 @@
     /** An independant thread responsible for writing the 'in memory' contents of the document model to the random access file as appropriate. This is done so IO lag does not effect the gui as much as it used to. */
     private WriterThread writer;
+
+    
+    public AppendLineOnlyFileDocument(String filename) {
+    this(filename, true);
+    }
+
     /** The constructor is responsible for creating several necessary data structures as well as opening the random access file. When it creates the new file, as it is wont to do, it will immediately add the special header line defined above.
      * @param filename the absolute path name of the file as a String
@@ -74 +82 @@
      * @see org.greenstone.gatherer.util.StaticStrings#NEW_LINE_CHAR
      */
-    public AppendLineOnlyFileDocument(String filename) {
+    public AppendLineOnlyFileDocument(String filename, boolean build_log) {
     Gatherer.println("Creating log: " + filename);
     // Initialization 
+    this.build_log = build_log;
     this.filename = filename;
     this.listeners_list = new EventListenerList();
@@ -101 +110 @@
         }
         }
-        // If there we no lines found, then append the file header.
-        if(root_element.getElementCount() == 0) {
+        // If there we no lines found, and we are a build log, then append the file header.
+        if(build_log && root_element.getElementCount() == 0) {
         appendLine(GLI_HEADER_STR);
         }
@@ -110 +119 @@
     }
     }
-    
+
     /** Adds a document listener for notification of any changes. 
      * @param listener the new DocumentListener to keep track of
@@ -338 +347 @@
      */
     public synchronized void setSpecialCharacter(char character) {
-    try {
-        file.seek(0L);
-        file.write((int)character);
-    }
-    catch (Exception error) {
-        Gatherer.printStackTrace(error);
+    if(build_log) {
+        try {
+        file.seek(0L);
+        file.write((int)character);
+        }
+        catch (Exception error) {
+        Gatherer.printStackTrace(error);
+        }
     }
     }