From 1dd8799e525575cc22a283af964b809538501b9a Mon Sep 17 00:00:00 2001 From: "Christian Y. Brenninkmeijer" Date: Thu, 17 Oct 2024 10:35:47 +0100 Subject: [PATCH 1/2] assert not None --- spinnman/connections/udp_packet_connections/udp_connection.py | 1 + 1 file changed, 1 insertion(+) diff --git a/spinnman/connections/udp_packet_connections/udp_connection.py b/spinnman/connections/udp_packet_connections/udp_connection.py index b4ae01e98..bf8f87101 100644 --- a/spinnman/connections/udp_packet_connections/udp_connection.py +++ b/spinnman/connections/udp_packet_connections/udp_connection.py @@ -140,6 +140,7 @@ def is_connected(self) -> bool: # check if machine is active and on the network for _ in range(_PING_COUNT): # Assume connected if ping works + assert self._remote_ip_address is not None if Ping.ping(self._remote_ip_address) == 0: return True From f42b222322713c25f0dd8397dedbd684f5df8c76 Mon Sep 17 00:00:00 2001 From: "Christian Y. Brenninkmeijer" Date: Thu, 17 Oct 2024 16:15:10 +0100 Subject: [PATCH 2/2] python-version 3.8 --- mypy.bash | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mypy.bash b/mypy.bash index c8d73948d..918ce5e9a 100755 --- a/mypy.bash +++ b/mypy.bash @@ -22,4 +22,4 @@ utils="../SpiNNUtils/spinn_utilities" machine="../SpiNNMachine/spinn_machine" -mypy $utils $machine spinnman +mypy --python-version 3.8 $utils $machine spinnman