diff options
author | Viktor Szakats <commit@vsz.me> | 2024-09-18 14:36:36 +0200 |
---|---|---|
committer | Viktor Szakats <commit@vsz.me> | 2024-09-19 12:43:54 +0200 |
commit | c997f3e0090576e55955d401b93d5fac76883a80 (patch) | |
tree | 764b48024e0f3d69b607ad1003923cc7e2f908e2 /docs/examples/debug.c | |
parent | 888662b74a67db974d128a091be233f82be0f6a1 (diff) |
processhelp.pm: improve `taskkill` calls (Windows)
- drop `tasklist` call before `taskkill`.
`taskkill` offers two ways to kill a `pid`:
1. `-pid <pid>`
If `<pid>` is missing it returns 128 and outputs:
```
ERROR: The process "<pid>" not found.
```
2. `-fi "PID eq <pid>"`
If `<pid>` is missing, it returns 0 and outputs:
```
INFO: No tasks running with the specified criteria.
```
The curl runner script doesn't check the result of the call and both
stdout and stderr are redirected to NUL.
Meaning the `tasklist` calls pre-verifying if the PID exists are not
necessary and we can drop them to put less strain on the runner
environment.
- log a `taskkill` call missed earlier.
Follow-up to e53523fef07894991c69d907a7c7794c7ada4ff4 #14859
- streamline `taskkill` calls by using the `-pid` option
(was `-fi <filter-expression>`).
- make `taskkill` in `pidterm()` use `-t` to kill the process tree.
Ref: #11009
Closes #14959
Diffstat (limited to 'docs/examples/debug.c')
0 files changed, 0 insertions, 0 deletions