Re: Error in project-shell?

[Dmitry Gutov]

On 02.03.2022 09:59, Juan José García-Ripoll wrote:
> Thanks!
>
> Dmitry Gutov <dgutov@yandex.ru> writes:
> > Hi!
> >
> > On 28.02.2022 16:58, Juan José García-Ripoll wrote:
> > > Unlike `shell`, `project-shell` does not realize when a process has
> > > ended. In that case it simply pops up a window that is dead and does not
> > > invoke the shell again. Is that a feature or a bug?
> >
> > Please try the attached patch.

Thanks for testing, pushed to master.