diff -r b1dde2dc14bd -r 089401c122c5 Debugger/DebuggerInterfacePython2.py
--- a/Debugger/DebuggerInterfacePython2.py Sat Sep 03 19:00:12 2016 +0200
+++ b/Debugger/DebuggerInterfacePython2.py Sat Sep 03 19:20:42 2016 +0200
@@ -852,8 +852,18 @@
try:
commandDict = json.loads(jsonStr.strip())
except json.JSONDecodeError as err:
- # TODO: implement real error handling
- ##print(str(err))
+ E5MessageBox.critical(
+ None,
+ self.tr("Debug Protocol Error"),
+ self.tr("""<p>The response received from the debugger"""
+ """ backend could not be decoded. Please report"""
+ """ this issue with the received data to the"""
+ """ eric bugs email address.</p>"""
+ """<p>Error: {0}</p>"""
+ """<p>Data:<br/>{0}</p>""").format(
+ str(err), Utilities.html_encode(jsonStr.strip())),
+ E5MessageBox.StandardButtons(
+ E5MessageBox.Ok))
return
method = commandDict["method"]
