man: tone down claims on processes having exited already in ExecStop=
authorLennart Poettering <lennart@poettering.net>
Tue, 5 Nov 2024 12:51:00 +0000 (13:51 +0100)
committerLuca Boccassi <luca.boccassi@gmail.com>
Wed, 13 Nov 2024 19:48:10 +0000 (19:48 +0000)
commit307a6332a63dd0f6addbc5c77d21f72ce4578070
treee620ce857200e57b5705cfd9490239748744ad15
parenta6f9c2031666a856f137109e77c856a8e238a59b
man: tone down claims on processes having exited already in ExecStop=

Processes can easily survive the first kill operation we execute, hence
we shouldn't make strong claims about them having exited already. Let's
just say "likely" hence.

Fixes: #15032
(cherry picked from commit ac804bc2f8d814d2afcdccd88f7469ac320da1c8)
man/systemd.service.xml