rename qemu log file into .txt as .log gets opened by console on mac

[tests.git] / system / TestPool.py

diff --git a/system/TestPool.py b/system/TestPool.py
index 5ef9497..87e1b97 100644 (file)
--- a/system/TestPool.py
+++ b/system/TestPool.py
@@ -1,5 +1,7 @@
 #
-# Thierry Parmentelat - INRIA Sophia Antipolis 
+# Thierry Parmentelat <thierry.parmentelat@inria.fr>
+# Copyright (C) 2010 INRIA 
+#
 #
 # pool class
 # 
@@ -47,8 +49,7 @@ class TestPool:
 
     # the hostnames provided (from a tracker) are considered last
     def next_free (self, tracker_hostnames):
-        if self.options.quiet:
-            print 'TestPool is looking for a %s'%self.message,
+        utils.header('TestPool is looking for a %s'%self.message)
         # create 2 lists of (h,i,u) entries, the ones not in the tracker, and the ones in the tracker
         in_track_pool=[]
         out_track_pool=[]
@@ -64,15 +65,9 @@ class TestPool:
         for (hostname,ip,user_data) in out_track_pool + in_track_pool:
             if hostname in self.busy:
                 continue
-            if not self.options.quiet:
-                utils.header('TestPool : checking %s'%hostname)
-            else:
-                print '.',
+            utils.header('TestPool : checking %s'%hostname)
             if self.free_hostname(hostname):
-                if not self.options.quiet:
-                    utils.header('%s is available'%hostname)
-                else:
-                    print ''
+                utils.header('%s is available'%hostname)
                 self.busy.append(hostname)
                 return (hostname,ip,user_data)
             else: