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 <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

Reply via email to