17 |
17 |
18 class SessionReader(XMLStreamReaderBase): |
18 class SessionReader(XMLStreamReaderBase): |
19 """ |
19 """ |
20 Class for reading an XML session file. |
20 Class for reading an XML session file. |
21 """ |
21 """ |
22 supportedVersions = ["4.3", "4.4", "5.0", "6.0", "6.1"] |
22 supportedVersions = ["4.3", "4.4", "5.0", "6.0", "6.1", "6.2"] |
23 |
23 |
24 def __init__(self, device, isGlobal): |
24 def __init__(self, device, isGlobal): |
25 """ |
25 """ |
26 Constructor |
26 Constructor |
27 |
27 |
270 self.dbg.setExcIgnoreList(dbgExcIgnoreList) |
270 self.dbg.setExcIgnoreList(dbgExcIgnoreList) |
271 if not self.isGlobal: |
271 if not self.isGlobal: |
272 self.project.dbgExcIgnoreList = dbgExcIgnoreList[:] |
272 self.project.dbgExcIgnoreList = dbgExcIgnoreList[:] |
273 |
273 |
274 if self.isStartElement(): |
274 if self.isStartElement(): |
275 if self.name() == "Interpreter": |
275 if self.name() == "VirtualEnv": |
276 txt = self.readElementText() |
276 txt = self.readElementText() |
277 self.dbg.setInterpreterHistory(txt) |
277 self.dbg.lastUsedVenvName = txt |
278 if not self.isGlobal: |
278 if not self.isGlobal: |
279 self.project.dbgInterpreter = txt |
279 self.project.dbgVirtualEnv = txt |
|
280 elif self.name() == "Interpreter": |
|
281 # just read this obsolete entry and ignore it |
|
282 self.readElementText() |
280 elif self.name() == "CommandLine": |
283 elif self.name() == "CommandLine": |
281 txt = self.readElementText() |
284 txt = self.readElementText() |
282 self.dbg.setArgvHistory(txt) |
285 self.dbg.setArgvHistory(txt) |
283 if not self.isGlobal: |
286 if not self.isGlobal: |
284 self.project.dbgCmdline = txt |
287 self.project.dbgCmdline = txt |