diff -r 5e05b2089daf -r 4ae976ee5339 src/eric7/MicroPython/MicroPythonWidget.py
--- a/src/eric7/MicroPython/MicroPythonWidget.py Thu Feb 02 13:42:50 2023 +0100
+++ b/src/eric7/MicroPython/MicroPythonWidget.py Thu Feb 02 18:01:00 2023 +0100
@@ -496,11 +496,14 @@
MicroPythonDevices.getDeviceIcon(deviceType, False)
)
+ boardName = self.deviceTypeComboBox.itemData(index, self.DeviceBoardRole)
vid = self.deviceTypeComboBox.itemData(index, self.DeviceVidRole)
pid = self.deviceTypeComboBox.itemData(index, self.DevicePidRole)
if deviceType or (pid is not None and pid is not None):
- self.__device = MicroPythonDevices.getDevice(deviceType, self, vid, pid)
+ self.__device = MicroPythonDevices.getDevice(
+ deviceType, self, vid, pid, boardName
+ )
self.__device.setButtons()
self.connectButton.setEnabled(bool(deviceType))
@@ -1356,7 +1359,8 @@
self.__fileManagerWidget.start()
else:
- self.__fileManagerWidget.stop()
+ if self.__fileManagerWidget is not None:
+ self.__fileManagerWidget.stop()
if not self.replButton.isChecked() and not self.chartButton.isChecked():
self.__disconnectFromDevice()
