fast push

mp3/server.py

@@ -454,7 +454,7 @@ def connect_with_all_servers(servers: dict, current_server_id: str, return_value
             try:
                 s = socket.socket(socket.AF_INET, socket.SOCK_STREAM)
                 host_ip_address = SERVER_ID_TO_IP_MAPPING[server[SERVER_IDENTIFIER]]
-                server[SERVER_PORT] = 5678  # todo: to be deleted
+                # server[SERVER_PORT] = 5678  # todo: to be deleted
                 address = (host_ip_address, server[SERVER_PORT])
                 s.connect(address)
                 connect_info[server_id] = s