[sr-dev] git:master:36686183: debugger: fix issue #463