PyBoardDevices: fixed a little omission.

Sat, 06 Feb 2021 19:18:22 +0100

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Sat, 06 Feb 2021 19:18:22 +0100
changeset 8081
e0087e542717
parent 8080
218ca8019eb8
child 8082
2242a6a1d786

PyBoardDevices: fixed a little omission.

eric6/MicroPython/PyBoardDevices.py file | annotate | diff | comparison | revisions
--- 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