Allow interrupting a process by closing the console buffer, or by

Allow interrupting a process by closing the console buffer, or by #3167