This fix adds the processes created via the Executor to the list of processes handled by Run in terms of resource metric gathering. It also adds the killing of any processes attached using set_pid to auto-abort. Note if the PID is the PID of the script run itself, this will not be aborted this way, but its children will be.
This fix adds the processes created via the
Executor
to the list of processes handled byRun
in terms of resource metric gathering. It also adds the killing of any processes attached usingset_pid
to auto-abort. Note if the PID is the PID of the script run itself, this will not be aborted this way, but its children will be.