On 7/21/22 14:36, Mark Wielaard wrote:
> Hi Tom,
> 
> On Thu, Jul 21, 2022 at 02:06:09PM +0200, Tom de Vries wrote:
>>> It seems the line number is really irrelevant here for where exactly
>>> the KeyboardInterrupt took place. So the patch looks good to me.
>>>
>>
>> Thanks for the review.
>>
>>> Note that there is a gdb-try-rawhide-x86_64 builder, so you can also
>>> test by pushing this to a git users/vries/try-xxx branch.
>>
>> I've tried that, and it went fine, so I've pushed this (after fixing a
>> trivial formatting issue, not reposting).
> 
> I am afraid the trivial formatting fix accidentially introduced an
> extra space before KeyboardInterrupt:
> 
> " KeyboardInterrupt\n" should be "KeyboardInterrupt\n"
> 

Thanks for noticing that.

Fixed by this commit (also tested using the try-buildbot, and this time, 
committed what I actually tested).

Committed.

Thanks,
- Tom