aboutsummaryrefslogtreecommitdiff
path: root/gdb/main.c
diff options
context:
space:
mode:
authorAndrew Cagney <cagney@redhat.com>2004-07-26 19:01:51 +0000
committerAndrew Cagney <cagney@redhat.com>2004-07-26 19:01:51 +0000
commit7ac4ac061926872510858e0ff8e37673b5de28d5 (patch)
tree3479efabe4571009c77c6c1744af8f7b643bec18 /gdb/main.c
parenta1b461bf403f675bf552b7f6783a732aa34056d7 (diff)
downloadgdb-7ac4ac061926872510858e0ff8e37673b5de28d5.zip
gdb-7ac4ac061926872510858e0ff8e37673b5de28d5.tar.gz
gdb-7ac4ac061926872510858e0ff8e37673b5de28d5.tar.bz2
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.
Diffstat (limited to 'gdb/main.c')
-rw-r--r--gdb/main.c7
1 files changed, 7 insertions, 0 deletions
diff --git a/gdb/main.c b/gdb/main.c
index 4e5fd2a..0042962 100644
--- a/gdb/main.c
+++ b/gdb/main.c
@@ -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);
}