2004-07-26 Andrew Cagney <cagney@gnu.org>

Problem reported by Ashley Pittman <ashley@quadrics.com>.
	* main.c (captured_main): When in batch mode always detach.
This commit is contained in:
Andrew Cagney 2004-07-26 19:01:51 +00:00
parent a1b461bf40
commit 7ac4ac0619
2 changed files with 12 additions and 0 deletions

View File

@ -1,3 +1,8 @@
2004-07-26 Andrew Cagney <cagney@gnu.org>
Problem reported by Ashley Pittman <ashley@quadrics.com>.
* main.c (captured_main): When in batch mode always detach.
2004-07-26 Andrew Cagney <cagney@gnu.org>
* MAINTAINERS: Mark the xstormy16, sh64, ns32k, mn10300, mcore,

View File

@ -729,6 +729,13 @@ extern int gdbtk_test (char *);
if (batch)
{
if (attach_flag)
/* Either there was a problem executing the command in the
batch file aborted early, or the batch file forgot to do an
explicit detach. Explicitly detach the inferior ensuring
that there are no zombies. */
target_detach (NULL, 0);
/* We have hit the end of the batch file. */
exit (0);
}