This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [MI, doc] flush output in -gdb-exit
- From: Eli Zaretskii <eliz at gnu dot org>
- To: Vladimir Prus <vladimir at codesourcery dot com>
- Cc: gdb-patches at sourceware dot org
- Date: Thu, 17 Dec 2009 21:56:08 +0200
- Subject: Re: [MI, doc] flush output in -gdb-exit
- References: <200912171046.03355.vladimir@codesourcery.com>
- Reply-to: Eli Zaretskii <eliz at gnu dot org>
> From: Vladimir Prus <vladimir@codesourcery.com>
> Date: Thu, 17 Dec 2009 10:46:03 +0300
>
> OK?
Yes, after this:
> +take some time for GDB to actually exit. During that time, GDB
^^^ ^^^
@value{GDBN}
> +performs necessary cleanups, including killing programs being debugged
> +or disconnecting from debug hardware, so the frontend should wait till
> +GDB exits and should only forcibly kill GDB if it fails to exit in
^^^ ^^^
Likewise.