[PATCH] Make sure terminal settings are restored before exiting

[Pedro Alves]

On 07/29/2015 12:37 PM, Patrick Palka wrote:

> Just very recently I discovered the $PPID environment variable, a
> standardized (thus hopefully portable) variable that should contain
> the pid of the parent process.  With it we can do "shell echo $PPID"
> to print the gdb pid and then capture the output of this command with
> expect.  I'll try this approach.

Good idea, sounds good.

Thanks,
Pedro Alves