From 3d5ddb13b0d5919fbf0d7675a9f1f54db0c5f38c Mon Sep 17 00:00:00 2001
From: "C.J. Collier" <cjcollier@linuxfoundation.org>
Date: Tue, 20 Sep 2016 18:25:34 -0700
Subject: [PATCH] Enable SSH dead peer detection

Change-Id: I26e858e911fb9be2c03603e044459b11bab3b626
Signed-off-by: C.J. Collier <cjcollier@linuxfoundation.org>
---
 vagrant/lib/bootstrap-functions.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/vagrant/lib/bootstrap-functions.sh b/vagrant/lib/bootstrap-functions.sh
index 52aebea8b..c3e1c8584 100644
--- a/vagrant/lib/bootstrap-functions.sh
+++ b/vagrant/lib/bootstrap-functions.sh
@@ -2,6 +2,11 @@
 
 do_setup() {
     echo "127.0.1.1 $(hostname) # temporary" >> /etc/hosts
+
+    # Dead peer detection
+    echo "TCPKeepAlive        true" >> /etc/ssh/ssh_config
+    echo "ServerAliveCountMax 30"   >> /etc/ssh/ssh_config
+    echo "ServerAliveInterval 10"   >> /etc/ssh/ssh_config
 }
 
 do_mvn_install() {
-- 
2.16.6