2003/12/29 03:44:15

darcs-hash:20040130074336-2ba56-62d6afbe0ce241b5f13e479b1b4be42b36950a24.gz

diff --git a/src/org/xwt/Platform.java b/src/org/xwt/Platform.java
index abbf3ec..7de9058 100644 (file)
--- a/src/org/xwt/Platform.java
+++ b/src/org/xwt/Platform.java
@@ -68,19 +68,19 @@ public abstract class Platform {
                 if (Log.on) Log.info(Platform.class, "exception while detecting build:");
                 if (Log.on) Log.info(Platform.class, e);
             }
-            if (Log.on) Log.info(Platform.class, "XWT build: " + build);
+            if (Log.on) Log.diag(Platform.class, "XWT build: " + build);
 
-            if (Log.on) Log.info(Platform.class, "XWT VM detection:   vendor = " + vendor);
-            if (Log.on) Log.info(Platform.class, "                   version = " + version);
-            if (Log.on) Log.info(Platform.class, "                        os = " + os_name + " [version " + os_version + "]");
+            if (Log.on) Log.diag(Platform.class, "XWT VM detection:   vendor = " + vendor);
+            if (Log.on) Log.diag(Platform.class, "                   version = " + version);
+            if (Log.on) Log.diag(Platform.class, "                        os = " + os_name + " [version " + os_version + "]");
 
             if (platform_class == null) {
                 if (Log.on) Log.info(Platform.class, "Unable to detect JVM");
                 criticalAbort("Unable to detect JVM");
             }
 
-            if (Log.on) Log.info(Platform.class, "                  platform = " + platform.getDescriptiveName());
-            if (Log.on) Log.info(Platform.class, "                     class = " + platform.getClass().getName());
+            if (Log.on) Log.diag(Platform.class, "                  platform = " + platform.getDescriptiveName());
+            if (Log.on) Log.diag(Platform.class, "                     class = " + platform.getClass().getName());
             platform.postInit();
 
         } catch (Exception e) {