From 65ef1f72c1ed3e2bf01836ffd8bae4b0b6695694 Mon Sep 17 00:00:00 2001 From: anjiahao Date: Tue, 6 Aug 2024 17:19:21 +0800 Subject: [PATCH] minidumpserver.py:Improve socket performance of minidumpserver.py Signed-off-by: anjiahao --- tools/minidumpserver.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/minidumpserver.py b/tools/minidumpserver.py index 9e86cad2043..0e7b1d9cc4d 100755 --- a/tools/minidumpserver.py +++ b/tools/minidumpserver.py @@ -820,7 +820,7 @@ def main(args): # Reuse address so we don't have to wait for socket to be # close before we can bind to the port again - gdbserver.setsockopt(socket.SOL_SOCKET, socket.SO_REUSEADDR, 1) + gdbserver.setsockopt(socket.IPPROTO_TCP, socket.TCP_NODELAY, 1) try: gdbserver.bind(("", args.port))