Merge pull request #420 from SpiNNakerManchester/typing

Typing
SpiNNakerManchester · Oct 22, 2024 · d9cc16f · d9cc16f
2 parents 4eec984 + f42b222
commit d9cc16f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git 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
diff --git 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