diff --git a/proton b/proton index 2cd43115..8bec9466 100755 --- a/proton +++ b/proton @@ -1555,7 +1555,7 @@ class Session: if remote_debug_proc: remote_debug_proc.kill() try: - remote_debug_proc.communicate(2) + remote_debug_proc.communicate(timeout=2) except subprocess.TimeoutExpired: log("terminate remote debugger") remote_debug_proc.terminate()