[sr-dev] git:4.2:e3197e00: debugger: fix issue #463