[isabelle-dev] »Waiting for 1 tasks to complete«

[Fabian Huch]

On 8/27/24 23:32, Makarius wrote:
>
> The reason why the termination did not quite work is unclear to me: It 
> could well be somewhere in my areas of responsibility, e.g the 
> bash_process wrapper or something else in Isabelle/Scala. We need some 
> tangible empiric observations to sort this out.

In this case, the problem was on my side, but induced by changes to 
terminate a Bash.Process in case it does not stop after being interrupted.

The latter might be a problem in Isabelle/Scala. It occurred a few times 
and I had to manually terminate the process (hence the changes).


Fabian