Changeset 8236 for trunk/gli/src/org/greenstone/gatherer/util/AppendLineOnlyFileDocument.java

Timestamp:

2004-10-08T09:46:12+13:00 (20 years ago)

Author:

mdewsnip

Message:

Replaced all Gatherer.print* with DebugStream.print*.

File:

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

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

@@ -38 +38 @@
 import javax.swing.event.*;
 import javax.swing.text.*;
+import org.greenstone.gatherer.DebugStream;
 import org.greenstone.gatherer.Gatherer;
 import org.greenstone.gatherer.gui.GLIButton;
@@ -83 +84 @@
      */
     public AppendLineOnlyFileDocument(String filename, boolean build_log) {
-    Gatherer.println("Creating log: " + filename);
+    DebugStream.println("Creating log: " + filename);
     // Initialization 
     this.build_log = build_log;
@@ -116 +117 @@
     }
     catch (Exception error) {
-        Gatherer.printStackTrace(error);
+        DebugStream.printStackTrace(error);
     }
     }
@@ -163 +164 @@
     }
     catch(Exception error) {
-        Gatherer.printStackTrace(error);
+        DebugStream.printStackTrace(error);
     }
     }
@@ -187 +188 @@
     }
     catch(Exception exception) {
-        Gatherer.println("Exception in AppendLineOnlyFileDocument.destroy() - unexpected");
-        Gatherer.printStackTrace(exception);
+        DebugStream.println("Exception in AppendLineOnlyFileDocument.destroy() - unexpected");
+        DebugStream.printStackTrace(exception);
     }
     }
@@ -292 +293 @@
 //          }
 //          catch (IOException error) {
-//          Gatherer.printStackTrace(error);
+//          DebugStream.printStackTrace(error);
 //          }
 //          if(text == null) {
@@ -366 +367 @@
         }
         catch (Exception error) {
-        Gatherer.printStackTrace(error);
+        DebugStream.printStackTrace(error);
         }
     }
@@ -795 +796 @@
             }
             catch(Exception error) {
-                Gatherer.printStackTrace(error);
+                DebugStream.printStackTrace(error);
             }
             element.clearContent();
@@ -889 +890 @@
     static synchronized public void print(String message) {
     if (message.endsWith("\n")) {
-        Gatherer.print(message); 
+        DebugStream.print(message); 
     }
     else {
-        Gatherer.println(message); 
+        DebugStream.println(message); 
     }
     }