diff options
| author | Michael DeHaan <michael.dehaan@gmail.com> | 2012-04-13 19:33:57 -0400 |
|---|---|---|
| committer | Michael DeHaan <michael.dehaan@gmail.com> | 2012-04-13 19:33:57 -0400 |
| commit | 347637339c9eba6281fff1688e13235326600bf9 (patch) | |
| tree | 7230d9658386d4e69c6d323a94bff61ef915cce2 /bin/ansible | |
| parent | c3cad50075bfbcd29e53098db82f5ebc1bbd6c4c (diff) | |
| parent | aaecf705867aa28a664a6315c4e5fbfeed612cd0 (diff) | |
| download | ansible-347637339c9eba6281fff1688e13235326600bf9.tar.gz | |
Merge remote branch 'public/integration' into integration
Diffstat (limited to 'bin/ansible')
| -rwxr-xr-x | bin/ansible | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/ansible b/bin/ansible index 80c7036050..f254eaf3ff 100755 --- 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 ######################################################## |