improve build listing

diff --git a/scripts/manage-infrastructure.py b/scripts/manage-infrastructure.py
index cb34056..267510e 100755 (executable)
--- a/scripts/manage-infrastructure.py
+++ b/scripts/manage-infrastructure.py
@@ -54,7 +54,15 @@ class BuildBoxes:
     def handle_build_box (self,box):
         if self.options.probe:
             command=['ssh',self.root(box),'pgrep','build']
-            self.run(command,"Listing build processes on %s"%box)
+            if self.options.dry_run:
+                self.run(command,None)
+            else:
+                pids=self.backquote(command)
+                if not pids:
+                    print 'No build process on',box
+                else:
+                    command=['ssh',self.root(box),'ps'] + [ pid for pid in pids.split("\n") if pid]
+                    self.run(command,"Active build processes on %s"%box)
         else:
             self.reboot(box)