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"] |
22 supportedVersions = ["4.3", "4.4", "5.0", "6.0"] |
23 |
23 |
24 def __init__(self, device, isGlobal): |
24 def __init__(self, device, isGlobal): |
25 """ |
25 """ |
26 Constructor |
26 Constructor |
27 |
27 |
251 self.dbg.setExcIgnoreList(dbgExcIgnoreList) |
251 self.dbg.setExcIgnoreList(dbgExcIgnoreList) |
252 if not self.isGlobal: |
252 if not self.isGlobal: |
253 self.project.dbgExcIgnoreList = dbgExcIgnoreList[:] |
253 self.project.dbgExcIgnoreList = dbgExcIgnoreList[:] |
254 |
254 |
255 if self.isStartElement(): |
255 if self.isStartElement(): |
256 if self.name() == "CommandLine": |
256 if self.name() == "Interpreter": |
|
257 txt = self.readElementText() |
|
258 self.dbg.setInterpreterHistory(txt) |
|
259 if not self.isGlobal: |
|
260 self.project.dbgInterpreter = txt |
|
261 elif self.name() == "CommandLine": |
257 txt = self.readElementText() |
262 txt = self.readElementText() |
258 self.dbg.setArgvHistory(txt) |
263 self.dbg.setArgvHistory(txt) |
259 if not self.isGlobal: |
264 if not self.isGlobal: |
260 self.project.dbgCmdline = txt |
265 self.project.dbgCmdline = txt |
261 elif self.name() == "WorkingDirectory": |
266 elif self.name() == "WorkingDirectory": |