[PATCH] Make only user-specified executable filenames sticky

[Pedro Alves]

On 05/12/2015 02:48 PM, Gary Benson wrote:
> Pedro Alves wrote:
>> On 05/12/2015 12:13 PM, Gary Benson wrote:
>>> Pedro Alves wrote:
>>>> We don't have a command to get out of:
>>>>
>>>>   "file wrong_program; attach PID"
>>>
>>> file wrong_program; file; attach PID
>>
>> That's different from what I was saying.  That is, a command
>> to fix things up _after_ the attach.
> 
> Ah, ok, sorry.
> 
> A different question: is there any reason that we should not
> *always* set the executable file from whatever the running
> program is?

We need at least the section info, which may be missing in the
running file.

Thanks,
Pedro Alves