Fixes, player speed

network.py

@@ -1,6 +1,8 @@
-import socket
+import socket, os, sys
 from threading import Thread, Lock
 
+NETTRACE = str(os.environ.get("NETTRACE", "0")) == "1"
+
 class Sock:
 	def __init__(self):
 		self.sock = socket.socket(socket.AF_INET, socket.SOCK_DGRAM)
@@ -13,10 +15,12 @@ class Sock:
 	def send(self, message, address):
 		if type(message) == str:
 			message = message.encode()
-		self.sock.sendto(message, address)
+		if NETTRACE:
+			print("Send to", tuple(address), ":", message, file=sys.stderr)
+		self.sock.sendto(message, tuple(address))
 	
 	def listen(self, address, length=65535):
-		self.sock_thread = SockThread(self, address, length)
+		self.sock_thread = SockThread(self, tuple(address), length)
 		self.sock_thread.start()
 	
 	def get(self):
@@ -32,10 +36,12 @@ class SockThread(Thread):
 		Thread.__init__(self)
 		self.sock = sock
 		self.length = length
-		self.sock.sock.bind(address)
+		self.sock.sock.bind(tuple(address))
 	
 	def run(self):
 		while True:
 			r = self.sock.sock.recvfrom(self.length)
+			if NETTRACE:
+				print("Rec from", r[1], ":", r[0], file=sys.stderr)
 			with self.sock.queue_lock:
 				self.sock.queue.append(r)