[scripts/odmlview] Enable address reuse

When a server is ended the port still seems to
be blocked, the server cannot be restarted at
the same address until a specific time has passed.
Using `allow_reuse_address` on the TCPServer class
allows this address re-use directly after a shutdown.

Author: mpsonntag

odml/scripts/odml_view.py

@@ -75,13 +75,15 @@ def run(port=PORT, extensions=None):
 
     server_address = ('', port)
 
+    socketserver.TCPServer.allow_reuse_address = True
     with socketserver.TCPServer(server_address, handler) as httpd:
         webbrowser.open_new_tab('http://localhost:%s' % port)
         try:
             print("[Info] The server can be stopped by pressing Ctrl+C")
             httpd.serve_forever()
         except KeyboardInterrupt:
             print("[Info] Received Keyboard interrupt, shutting down")
+            httpd.shutdown()
             httpd.server_close()