Re: RFC: Don't kill the program after "file"

Daniel Jacobowitz
2006-07-24T20:36:06Z

On Wed, Jul 12, 2006 at 04:16:09PM -0400, Daniel Jacobowitz wrote:
> > > This would mean that 'exec-file; run' when a program is running would
> > > ask the user two questions: one to confirm the file change, and then
> > > another to confirm the kill before restarting.
> >
> > Jim's proposal sounds reasonable to me.
>
> Me too! Here is an implementation. It gives the prompt suggested by
> Jim if there is a TTY, calls error if the user declines (which prevents
> "file" from trying to do "symbol-file" afterwards), and otherwise
> succeeds. "file" never kills the running program.
>
> Any opinions on this patch? Shall I commit it? Tested on
> x86_64-pc-linux-gnu.

I've committed this.