Giuseppe Lavagetto has uploaded a new change for review.

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

Change subject: role::mediawiki::webserver: silence output of hhvm-needs-restart
......................................................................

role::mediawiki::webserver: silence output of hhvm-needs-restart

It was left unsilent for checking it during the first night.

Change-Id: Iaa823241a8223e374fd26ed6085baefb590c3fb7
---
M modules/role/manifests/mediawiki/webserver.pp
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/puppet 
refs/changes/38/316738/1

diff --git a/modules/role/manifests/mediawiki/webserver.pp 
b/modules/role/manifests/mediawiki/webserver.pp
index f5fcb28..78898b8 100644
--- a/modules/role/manifests/mediawiki/webserver.pp
+++ b/modules/role/manifests/mediawiki/webserver.pp
@@ -31,7 +31,7 @@
         if member($pool_nodes, $::fqdn) {
             $times = cron_splay($pool_nodes, 'daily', 
'hhvm-conditional-restarts')
             cron { 'hhvm-conditional-restart':
-                command => '/usr/local/bin/hhvm-needs-restart && 
/usr/local/sbin/run-no-puppet /usr/local/bin/restart-hhvm > /dev/null',
+                command => '/usr/local/bin/hhvm-needs-restart > /dev/null && 
/usr/local/sbin/run-no-puppet /usr/local/bin/restart-hhvm > /dev/null',
                 hour    => $times['hour'],
                 minute  => $times['minute'],
             }

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: Iaa823241a8223e374fd26ed6085baefb590c3fb7
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Giuseppe Lavagetto <glavage...@wikimedia.org>

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

Reply via email to