[Bug python/23714] Command repetition stops working after gdb.execute

["tromey at sourceware dot org" <sourceware-bugzilla at sourceware dot org>]

https://sourceware.org/bugzilla/show_bug.cgi?id=23714

Tom Tromey <tromey at sourceware dot org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |tromey at sourceware dot org

--- Comment #2 from Tom Tromey <tromey at sourceware dot org> ---
(In reply to Benno Fünfstück from comment #1)
> This is similar to https://sourceware.org/bugzilla/show_bug.cgi?id=12216 and
> regressed due to the recent changes to make gdb.execute support multi-line.
> 
> The following patch has a test and should fix the issue:

Thanks for the patch.
gdb patches are reviewed on the mailing list; see
https://sourceware.org/gdb/wiki/ContributionChecklist
for the contribution guidelines.  Would you mind sending it
to the list, following that checklist?

-- 
You are receiving this mail because:
You are on the CC list for the bug.