tree 662bce8548d6d45030b27a557e0fd438d39eacae
parent 4f9782980e88d82bff9bfde4d0acd69dab37991d
author Richard Sandiford <rdsandiford@googlemail.com> 1154540418 +0000
committer Richard Sandiford <rdsandiford@googlemail.com> 1154540418 +0000

	gdb/gdbserver/
	* server.c (terminal_fd): New variable.
	(old_foreground_pgrp): Likewise.
	(restore_old_foreground_pgrp): New function.
	(start_inferior): Record the terminal file descriptor in terminal_fd
	and its original foreground group in old_foreground_pgrp.  Register
	restore_old_foreground_pgrp with atexit().