mirror of
https://github.com/AdaCore/spawn.git
synced 2026-02-12 13:09:41 -08:00
because even if the user checks the process status before calling the terminate procedure, the process can terminate before `kill` is actually executed. Refs gnatstudio#306