[sr-dev] git:4.1:9e57273d: debugger: fix issue #463