From 133d84b6b8ad6167e49c04d677867dcc5e1000c1 Mon Sep 17 00:00:00 2001
From: Amir Malik <amir@localhost>
Date: Mon, 20 Dec 2010 18:11:15 -0800
Subject: [PATCH] set socket option SO_REUSEADDR to prevent  "Address already
 in use" error

---
 utils/web.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/utils/web.py b/utils/web.py
index 80d11d55..6b7670b0 100755
--- a/utils/web.py
+++ b/utils/web.py
@@ -21,6 +21,7 @@ def do_request(connstream, from_addr):
 
 def serve():
     bindsocket = socket.socket()
+    bindsocket.setsockopt(socket.SOL_SOCKET, socket.SO_REUSEADDR, 1)
     #bindsocket.bind(('localhost', PORT))
     bindsocket.bind(('', PORT))
     bindsocket.listen(5)