Merge remote branch 'public/integration' into integration

2026-05-08 06:12:51 +00:00 · 2012-04-13 19:33:57 -04:00
parent c3cad50075 aaecf70586
commit 347637339c
4 changed files with 6 additions and 4 deletions
--- a/bin/ansible
+++ b/bin/ansible
@@ -151,6 +151,8 @@ class Cli(object):
                clock = clock - options.poll_interval
                time.sleep(options.poll_interval)
                poll_hosts = self.hosts_to_poll(poll_results)
+                if len(poll_hosts)==0:
+                    break

 ########################################################