projects / systemd / .git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5adc433) | patch
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)
committerLennart Poettering <lennart@poettering.net>
Tue, 5 Nov 2024 21:57:51 +0000 (22:57 +0100)
commitac804bc2f8d814d2afcdccd88f7469ac320da1c8
treeef37fb6e9b1d11ce8c3dae264214407bf6c5c5d6tree | snapshot
parent5adc4337996f561df43c617e37ef4b157073b2e6commit | diff
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
man/systemd.service.xml diff | blob | history
https://github.com/systemd/systemd.git