Email Gateway (Aug 19 2022 at 10:38): Email Gateway (Aug 19 2022 at 10:38):From: "Jens-D. Doll" <jd@cococo.de>
Hello all,
when starting Isabelle several processes are created on a windows
machine (4 times bash, perl, poly etc) and after closing the main
process at least 2 bash processes remain active. Does anyone know how to
kill the remaining processes?
[A hint: they are somehow created wildly, without identifying their
parent process]
Regards,
Jens
Email Gateway (Aug 19 2022 at 10:38):From: Makarius <makarius@sketis.net>
Can you be more specific about your version of Windows, and the way you
start and stop Isabelle processes?
The problem of managing process hierarchies reliably is a classic one.
For each Isabelle release I make routine sanity checks, especially on
Windows. So from the lack of detail above, I would say it should work
properly in Isabelle2013, but many side conditions apply.
Makarius
Last updated: Apr 23 2024 at 08:19 UTC