Dzahn has uploaded a new change for review.

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

Change subject: planet: fix to variable name for proxy
......................................................................

planet: fix to variable name for proxy

Change-Id: I874f9658333e4338268206900f4129857dc86689
---
M manifests/role/planet.pp
M modules/planet/manifests/cronjob.pp
2 files changed, 2 insertions(+), 2 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/puppet 
refs/changes/37/221037/1

diff --git a/manifests/role/planet.pp b/manifests/role/planet.pp
index c51bf11..0106a6c 100644
--- a/manifests/role/planet.pp
+++ b/manifests/role/planet.pp
@@ -192,7 +192,7 @@
     $planet_meta_link = "meta.wikimedia.org/wiki/Planet_Wikimedia"
 
     # since we are on Ganeti now we need to proxy to fetch external URLs
-    $planet_http_proxy="http://url-downloader.wikimedia.org:8080";
+    $planet_http_proxy = "http://url-downloader.wikimedia.org:8080";
 
     # the 'planet' class from modules/planet/init.pp does the setup
     class {'::planet':
diff --git a/modules/planet/manifests/cronjob.pp 
b/modules/planet/manifests/cronjob.pp
index c4c14fc..59120bc 100644
--- a/modules/planet/manifests/cronjob.pp
+++ b/modules/planet/manifests/cronjob.pp
@@ -10,7 +10,7 @@
 
     cron { "update-${title}-planet":
         ensure  => 'present',
-        command => "http_proxy=\"${planet_http_proxy}\" ${planet_bin} -v 
${planet_config} > ${planet_logfile} 2>&1",
+        command => "http_proxy=\"${planet::planet_http_proxy}\" ${planet_bin} 
-v ${planet_config} > ${planet_logfile} 2>&1",
         user    => 'planet',
         minute  => $minute,
         require => [

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: I874f9658333e4338268206900f4129857dc86689
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Dzahn <dz...@wikimedia.org>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to