Re: [dev] [wmii] problem with wmiir xwrite /client/$client/ctl kill

On Thu, 27 May 2010 20:33:42 +0200
Thomas Dean <78abc_AT_web.de> wrote:

> On Thu, May 27, 2010 at 14:22:27 -0400, Kris Maglione wrote:
> > > With that the script already dies as soon as the fetchmaillog
> > > window opens :-) Given that this seems to be a problem of dash,
> > > maybe I should file a Debian bug report...
> >
> > That would probably be a good idea, if you can come up with a good
> > test case.
>
> The simplest idea,
>
> dash -c 'while true; do xterm & sleep 10; done'
>
> unfortunately does not die when I kill the xterm. But I will look into
> it, reducing the script I have as much as possible.

Does dash dump a core, by chance?

-- 
Kris Maglione
Perhaps when a man has special knowledge and special powers like my
own, it rather encourages him to seek a complex explanation when a
simpler one is at hand.
	--"Sherlock Holmes"