Giuseppe Lavagetto has submitted this change and it was merged.
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(-)
Approvals:
Giuseppe Lavagetto: Verified; Looks good to me, approved
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: merged
Gerrit-Change-Id: Iaa823241a8223e374fd26ed6085baefb590c3fb7
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Giuseppe Lavagetto <glavage...@wikimedia.org>
Gerrit-Reviewer: Giuseppe Lavagetto <glavage...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
