Add SO_REUSEADDR option before binding to port

vpython · Mar 10, 2024 · 2367f4a · 2367f4a
1 parent 8c81da5
commit 2367f4a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/vpython/no_notebook.py b/vpython/no_notebook.py
@@ -60,6 +60,7 @@ def signal_handler(signal, frame):
 
 def find_free_port(port):
     s = socket.socket()
+    s.setsockopt(socket.SOL_SOCKET, socket.SO_REUSEADDR, 1)
     s.bind(('', port))
     return s.getsockname()[1]