Changeset 8236 for trunk/gli/src/org/greenstone/gatherer/msm/MSMProfiler.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/msm/MSMProfiler.java (modified) (5 diffs)

trunk/gli/src/org/greenstone/gatherer/msm/MSMProfiler.java

@@ -39 +39 @@
 import java.io.*;
 import java.util.*;
+import org.greenstone.gatherer.DebugStream;
 import org.greenstone.gatherer.Gatherer;
 import org.greenstone.gatherer.msm.MSMAdapter;
@@ -112 +113 @@
      */
     public void elementChanged(MSMEvent event) {
-    Gatherer.println("Element changed: " + event);
+    DebugStream.println("Element changed: " + event);
     String new_name = null;
     String old_name = event.getValue();
@@ -207 +208 @@
         backup.deleteOnExit();
         if(!profile_file.renameTo(backup)) {
-            Gatherer.println("Error in MSMProfiler.save(): FileRenamedException");
+            DebugStream.println("Error in MSMProfiler.save(): FileRenamedException");
         }
         backup = null;
@@ -215 +216 @@
         Document document = Utility.parse(Utility.PROFILE_TEMPLATE, true);
         if(document == null) {
-        Gatherer.println("Error in MSMProfiler.save(): couldn't find and parse the profile template file!");
+        DebugStream.println("Error in MSMProfiler.save(): couldn't find and parse the profile template file!");
         return;
         }
@@ -249 +250 @@
     }
     catch (Exception error) {
-        Gatherer.printStackTrace(error);
+        DebugStream.printStackTrace(error);
     }
     }