Properly forward sys.stdin.read(). Fixes #1423 (#1438)

This commit is contained in:
Fabio Zadrozny 2019-05-21 08:46:21 -03:00 committed by GitHub
parent ba04a8ec6d
commit 5e93cfde81
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -128,6 +128,13 @@ class DebugConsoleStdIn(BaseStdIn):
self.__pydev_run_command(False)
return result
def read(self, *args, **kwargs):
# Notify Java side about input and call original function
self.__pydev_run_command(True)
result = self.original_stdin.read(*args, **kwargs)
self.__pydev_run_command(False)
return result
class CodeFragment: