diff options
| author | Andrew Cagney <cagney@redhat.com> | 2004-07-26 19:01:51 +0000 |
|---|---|---|
| committer | Andrew Cagney <cagney@redhat.com> | 2004-07-26 19:01:51 +0000 |
| commit | 7ac4ac061926872510858e0ff8e37673b5de28d5 (patch) | |
| tree | 3479efabe4571009c77c6c1744af8f7b643bec18 /gdb | |
| parent | a1b461bf403f675bf552b7f6783a732aa34056d7 (diff) | |
| download | gdb-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')
| -rw-r--r-- | gdb/ChangeLog | 5 | ||||
| -rw-r--r-- | gdb/main.c | 7 |
2 files changed, 12 insertions, 0 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 364d1e3..6130f0e 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,5 +1,10 @@ 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, and h8300 as broken. * NEWS: END-OF-LIFE frame compatibility module. @@ -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); } |