diff -r fc96d49f5fbf -r 0516f6548ca6 E5XML/SessionReader.py
--- a/E5XML/SessionReader.py Mon Oct 09 19:06:46 2017 +0200
+++ b/E5XML/SessionReader.py Tue Oct 10 19:05:00 2017 +0200
@@ -19,7 +19,7 @@
"""
Class for reading an XML session file.
"""
- supportedVersions = ["4.3", "4.4", "5.0"]
+ supportedVersions = ["4.3", "4.4", "5.0", "6.0"]
def __init__(self, device, isGlobal):
"""
@@ -253,7 +253,12 @@
self.project.dbgExcIgnoreList = dbgExcIgnoreList[:]
if self.isStartElement():
- if self.name() == "CommandLine":
+ if self.name() == "Interpreter":
+ txt = self.readElementText()
+ self.dbg.setInterpreterHistory(txt)
+ if not self.isGlobal:
+ self.project.dbgInterpreter = txt
+ elif self.name() == "CommandLine":
txt = self.readElementText()
self.dbg.setArgvHistory(txt)
if not self.isGlobal:
