[MediaWiki-commits] [Gerrit] operations/puppet[production]: role::mediawiki::webserver: fix path for run-no-puppet

2016-10-18 Thread Giuseppe Lavagetto (Code Review) 
Giuseppe Lavagetto has submitted this change and it was merged.

Change subject: role::mediawiki::webserver: fix path for run-no-puppet
..


role::mediawiki::webserver: fix path for run-no-puppet

Change-Id: I4e59e127a73acdc64b573520d308130e27a6035b
---
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 beefddf..f5fcb28 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/bin/run-no-puppet /usr/local/bin/restart-hhvm > /dev/null',
+command => '/usr/local/bin/hhvm-needs-restart && 
/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/316599
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I4e59e127a73acdc64b573520d308130e27a6035b
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Giuseppe Lavagetto 
Gerrit-Reviewer: Giuseppe Lavagetto 

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

[MediaWiki-commits] [Gerrit] operations/puppet[production]: role::mediawiki::webserver: fix path for run-no-puppet

2016-10-18 Thread Giuseppe Lavagetto (Code Review) 
Giuseppe Lavagetto has uploaded a new change for review.

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

Change subject: role::mediawiki::webserver: fix path for run-no-puppet
..

role::mediawiki::webserver: fix path for run-no-puppet

Change-Id: I4e59e127a73acdc64b573520d308130e27a6035b
---
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/99/316599/1

diff --git a/modules/role/manifests/mediawiki/webserver.pp 
b/modules/role/manifests/mediawiki/webserver.pp
index beefddf..f5fcb28 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/bin/run-no-puppet /usr/local/bin/restart-hhvm > /dev/null',
+command => '/usr/local/bin/hhvm-needs-restart && 
/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/316599
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I4e59e127a73acdc64b573520d308130e27a6035b
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Giuseppe Lavagetto 

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