# HG changeset patch
# User Niels Nes <niels@cwi.nl>
# Date 1562938602 -7200
# Node ID fab4e6165be9f0aad97d150375534e5dadcce71c
# Parent  7d041f5c3feae751df46be74230fe154728fc3dc
use so_keepalive (like the server does)

diff --git a/src/main/java/nl/cwi/monetdb/mcl/net/MapiSocket.java b/src/main/java/nl/cwi/monetdb/mcl/net/MapiSocket.java
--- a/src/main/java/nl/cwi/monetdb/mcl/net/MapiSocket.java
+++ b/src/main/java/nl/cwi/monetdb/mcl/net/MapiSocket.java
@@ -273,6 +273,7 @@ public final class MapiSocket {
 			con.setSoTimeout(this.soTimeout);
 			// set nodelay, as it greatly speeds up small messages (like we often do)
 			con.setTcpNoDelay(true);
+			con.setKeepAlive(true);
 
 			fromMonet = new BlockInputStream(con.getInputStream());
 			toMonet = new BlockOutputStream(con.getOutputStream());