sock-server.py: Use SO_REUSEADDR to avoid errors on quick restart.

2014-01-26 02:00:15 +02:00 · 2014-01-26 02:00:15 +02:00 · 4795c58f3c
parent a88c30c64a
commit 4795c58f3c
1 changed files with 1 additions and 0 deletions
--- a/examples/unix/sock-server.py
+++ b/examples/unix/sock-server.py
@ -16,6 +16,7 @@ ai = socket.getaddrinfo("127.0.0.1", 8080)
 print("Bind address info:", ai)
 addr = ai[0][4]

+s.setsockopt(socket.SOL_SOCKET, socket.SO_REUSEADDR, 1)
 s.bind(addr)
 s.listen(5)
 print("Listening, connect your browser to http://127.0.0.1:8080/")