Allow reuse of port 8080
Without this, after stopping the server you have to wait a minute
before the port frees up to be used again.
Change-Id: Ifad7aaca2c3436b16394eff10568427e8c5631f6
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()