diff --git a/proton b/proton index 943f58f5..f37f56a7 100755 --- a/proton +++ b/proton @@ -1541,7 +1541,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()