Diederik has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/108721


Change subject: Fix ignored hosts not set.
......................................................................

Fix ignored hosts not set.

Change-Id: I627fc4d5c4000ce8d5debb73db964a3c68407bf3
---
M labs-migration-assistant/fabfile.py
1 file changed, 2 insertions(+), 0 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/labs/migration-assistant 
refs/changes/21/108721/1

diff --git a/labs-migration-assistant/fabfile.py 
b/labs-migration-assistant/fabfile.py
index 51d0536..a0eda72 100644
--- a/labs-migration-assistant/fabfile.py
+++ b/labs-migration-assistant/fabfile.py
@@ -57,6 +57,8 @@
 env.disable_known_hosts = True
 env.reject_unknown_hosts = False
 env.gateway = 'bastion.wmflabs.org'
+if not 'ignored_hosts' in env:
+    env.ignored_hosts = ''
 env.ignored_hosts = env.ignored_hosts.split(';')
 env.key_filename = os.path.join(os.path.expanduser('~'), '.ssh/id_rsa')
 

-- 
To view, visit https://gerrit.wikimedia.org/r/108721
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I627fc4d5c4000ce8d5debb73db964a3c68407bf3
Gerrit-PatchSet: 1
Gerrit-Project: labs/migration-assistant
Gerrit-Branch: master
Gerrit-Owner: Diederik <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to