Mercurial Repositories > eric / file comparison
comparison: eric6/MicroPython/PyBoardDevices.py
eric6/MicroPython/PyBoardDevices.py
- changeset 8081
- e0087e542717
- parent 8067
- a467ab075be0
- child 8096
- 5425a9072300
equal
deleted
inserted
replaced
| 8080:218ca8019eb8 | 8081:e0087e542717 |
|---|---|
| 140 Private method to check, if the device volume is mounted. | 140 Private method to check, if the device volume is mounted. |
| 141 | 141 |
| 142 @return flag indicated a mounted device | 142 @return flag indicated a mounted device |
| 143 @rtype bool | 143 @rtype bool |
| 144 """ | 144 """ |
| 145 if self.__workspace and not os.path.exists(self.__workspace): | |
| 146 self.__workspace = "" # reset | |
| 147 | |
| 145 return self.DeviceVolumeName in self.getWorkspace(silent=True) | 148 return self.DeviceVolumeName in self.getWorkspace(silent=True) |
| 146 | 149 |
| 147 def getWorkspace(self, silent=False): | 150 def getWorkspace(self, silent=False): |
| 148 """ | 151 """ |
| 149 Public method to get the workspace directory. | 152 Public method to get the workspace directory. |
