set the TCP_NODELAY socket option

diff --git a/Robust/src/Runtime/socket.c b/Robust/src/Runtime/socket.c
index 66f788decfca32b0c439ed6b4cc06130b9211041..e8aae96d179ab8320e56cb67df326cea0299cbda 100644 (file)
--- a/Robust/src/Runtime/socket.c
+++ b/Robust/src/Runtime/socket.c
@@ -8,6 +8,7 @@
 #include <netdb.h>
 #endif
 #include <errno.h>
+#include <netinet/tcp.h>
 #include "SimpleHash.h"
 #include "GenericHashtable.h"
 
@@ -295,6 +296,8 @@ int CALL02(___ServerSocket______nativeaccept____L___Socket___,struct ___ServerSo
 #endif
 #endif
   newfd=accept(fd, (struct sockaddr *)&sin, &sinlen);
+  int flag = 1;
+  setsockopt(newfd, IPPROTO_TCP, TCP_NODELAY, (char *) &flag, sizeof(flag));
 #if defined(THREADS)||defined(DSTM)
 #ifdef PRECISE_GC
   restartaftergc(tmp);