Merge "Allow reuse of port 8080"
diff --git a/scripts/micro-httpd.py b/scripts/micro-httpd.py
index 13e35a7..31ad1ea 100755
--- a/scripts/micro-httpd.py
+++ b/scripts/micro-httpd.py
@@ -18,5 +18,6 @@
 PORT = int(os.environ.get('HTTP_PORT', 8080))
 Handler = SimpleHTTPServer.SimpleHTTPRequestHandler
 httpd = SocketServer.TCPServer(("0.0.0.0", PORT), Handler)
+httpd.allow_reuse_address = True
 print "Serving on port %d" % PORT
 httpd.serve_forever()