Re: [gedit-list] External tools can't be stopped?

[Jef Driesen <jefdriesen hotmail com>]

On 14/06/10 09:42, Jesse van den Kieboom wrote:
> Jef Driesen wrote:
> > When I launch an external tool like the builtin make, and try to abort
> > it with the stop button, it doesn't work. The shell output pane shows
> > the message "Stopped. Exited: 15", but then it keeps running.
> >
> > Is this a bug in gedit, or something in the script that is causing this?
>
> This is due to an implementation detail of launching new subprocesses
> from the plugin, which makes it very hard to track correctly the right
> process to kill when stopping. Please file a bug about this in bugzilla
> so we can keep track of it.

Bug filed: https://bugzilla.gnome.org/show_bug.cgi?id=621507