E5XML/SessionReader.py

changeset 5899
0516f6548ca6
parent 5389
9b1c800daff3
child 6048
82ad8ec9548c
equal deleted inserted replaced
5898:fc96d49f5fbf 5899:0516f6548ca6
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":

eric ide

mercurial