Mentions légales du service

Skip to content

V914-015 kill processes when why3server interrupted

Johannes Kanig requested to merge server_handle_signals into master

As discussed on #625 (closed). We actually experienced runaway processes so something like this seems necessary.

Merge request reports