From 605066ae768161aa0cf3c39bcf849dbd21253ece Mon Sep 17 00:00:00 2001 From: Jake Herbst Date: Wed, 25 May 2022 21:16:40 -0400 Subject: [PATCH] Adding socket option to server socket to bind to port in use to make restarts faster and more consistent --- scripts/server.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/scripts/server.py b/scripts/server.py index 8c681b5..c73b0fa 100755 --- a/scripts/server.py +++ b/scripts/server.py @@ -30,6 +30,8 @@ FORMAT = 'utf-8' DISCONNECT_MESSAGE = "!DISCONNECT" server = socket.socket(socket.AF_INET, socket.SOCK_STREAM) +server.setsockopt(socket.SOL_SOCKET, socket.SO_REUSEADDR, 1) + try: server.bind(ADDR) except BaseException: