vscoqtop long-running orphaned processes; coqc hangs on unification

[artagnon]

On files on which coqc hangs on unification, using vscoq results in multiple long-running orphaned vscoqtop processes eating up significant portions of the CPU and memory. vscoqtop should be killed when the project is closed in vscode, and arguably, we should provide a Coq: Kill command in the palette, as this is essential in developing any non-trivial project.

[rtetley]

Hi ! Thanks for reporting ! By close the project I assume you mean the folder ? Or do you mean they still run even after closing vscode ? Also what sould Coq: Kill do exactly ? I assume cancel the current running computations in the server ?