zombie proof processes: veriT

[Peter Lammich]

Just for the report: I just encountered zombie veriT processes on linux 
in 2025-1. Killed them manually as usual, before my battery got 
exhausted too much


Peter

On 16/11/2025 23:32, Makarius wrote:
> Here is another update of the component, this time for Windows where 
> occasional problems had been reported in the past.
>
> changeset:   83548:1367ebfbd761
> user:        wenzelm
> date:        Tue Nov 11 11:58:50 2025 +0100
> files:       Admin/components/components.sha1 Admin/components/main 
> src/Pure/Admin/component_verit.scala
> description:
> update README, notably URLs;
> update x86_64-windows/veriT.exe from official download: no rebuild 
> from source;
>
>
>     Makarius
>