diff -r 879ce0bb0c16 -r ed0dacdb437e Debugger/DebuggerInterfacePython.py --- a/Debugger/DebuggerInterfacePython.py Sun Feb 24 18:16:51 2019 +0100 +++ b/Debugger/DebuggerInterfacePython.py Sun Feb 24 20:36:15 2019 +0100 @@ -104,6 +104,7 @@ (False = local to remote, True = remote to local [default]) @return translated filename (string) """ + # TODO: remote translation must translate os.sep as well if remote2local: return fn.replace(self.translateRemote, self.translateLocal) else: