src/eric7/MicroPython/MicroPythonWidget.py

branch
eric7
changeset 10138
56614cf9d03c
parent 10034
bf2d02317ba6
child 10144
45a9177c8e77
--- a/src/eric7/MicroPython/MicroPythonWidget.py	Sat Jul 29 16:45:57 2023 +0200
+++ b/src/eric7/MicroPython/MicroPythonWidget.py	Sat Jul 29 19:27:18 2023 +0200
@@ -970,9 +970,15 @@
         self.__superMenu.clear()
 
         if self.__device:
-            hasMip = self.__device.getDeviceData("mip")
-            hasUPip = self.__device.getDeviceData("upip")
-            useLocalMip = self.__device.getDeviceData("local_mip")
+            networkConnected = self.__device.isNetworkConnected()
+            useLocalMip = (
+                (
+                    self.__device.getDeviceData("mip")
+                    or self.__device.getDeviceData("upip")
+                ) and not networkConnected
+            ) or self.__device.getDeviceData("local_mip")
+            hasMip = self.__device.getDeviceData("mip") and networkConnected
+            hasUPip = self.__device.getDeviceData("upip") and networkConnected
         else:
             hasMip = False
             hasUPip = False

eric ide

mercurial