eric6/MicroPython/PyBoardDevices.py

changeset 8081
e0087e542717
parent 8067
a467ab075be0
child 8096
5425a9072300
--- a/eric6/MicroPython/PyBoardDevices.py	Sat Feb 06 19:17:25 2021 +0100
+++ b/eric6/MicroPython/PyBoardDevices.py	Sat Feb 06 19:18:22 2021 +0100
@@ -142,6 +142,9 @@
         @return flag indicated a mounted device
         @rtype bool
         """
+        if self.__workspace and not os.path.exists(self.__workspace):
+            self.__workspace = ""       # reset
+        
         return self.DeviceVolumeName in self.getWorkspace(silent=True)
     
     def getWorkspace(self, silent=False):

eric ide

mercurial