Is there any way of discovering the process id (presumably not portably) for a
Child generated by
std::process::Command? I want to record the PID in a file (so later I can discover if it is still running and kill it).
I suppose as a workaround I could record the ID of the parent process, but then I need to listen for signals and kill the child and clean up. Not the end of the world, but definitely a nuisance… and it also prevents me from waiting on the child, so I’d be forced to use polling, which is both ugly and inefficient.