Yuvipanda has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/335972 )
Change subject: tools: Turn on docker live-migrate for docker builder
......................................................................
tools: Turn on docker live-migrate for docker builder
Bug: T157180
Change-Id: Ie0a29a5e086c07365ffd2ff09b79ac65033c58dc
---
M modules/role/manifests/toollabs/docker/builder.pp
1 file changed, 3 insertions(+), 2 deletions(-)
Approvals:
Yuvipanda: Verified; Looks good to me, approved
diff --git a/modules/role/manifests/toollabs/docker/builder.pp
b/modules/role/manifests/toollabs/docker/builder.pp
index 5def64e..8c3d211 100644
--- a/modules/role/manifests/toollabs/docker/builder.pp
+++ b/modules/role/manifests/toollabs/docker/builder.pp
@@ -9,8 +9,9 @@
class { '::profile::docker::engine':
settings => {
- 'iptables' => false,
- 'ip-masq' => false,
+ 'iptables' => false,
+ 'ip-masq' => false,
+ 'live-restore' => true,
},
version => '1.12.6-0~debian-jessie',
declare_service => true,
--
To view, visit https://gerrit.wikimedia.org/r/335972
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie0a29a5e086c07365ffd2ff09b79ac65033c58dc
Gerrit-PatchSet: 2
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Yuvipanda <yuvipa...@wikimedia.org>
Gerrit-Reviewer: Yuvipanda <yuvipa...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
