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 simplisticst 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.
>

For what it's worth, I've sent a report to the dash discord server. The
offending revision is 3800d4934391b144:[JOBS] Fix dowait signal race

This means that the bug was introduced just after 0.5.5.1 and first
showed up in 0.5.6, so if you can revert to some prior version, you
should be golden.

The test case is:
#!/bin/dash
{
        echo foo
        sleep 1
        echo foo
        echo done>/dev/tty
} | while read p; do
        ( echo good & ) &
done
echo done

-- 
Kris Maglione
Please don't fall into the trap of believing that I am terribly
dogmatical about [the goto statement].  I have the uncomforspacele
feeling that others are making a religion out of it, as if the
conceptual problems of programming could be solved by a single trick,
by a simplistic form of coding discipline!
	--Edsger W. Dijkstra