summaryrefslogtreecommitdiff
path: root/src/.gitignore
diff options
context:
space:
mode:
authorLennart Poettering <lennart@poettering.net>2016-02-03 23:38:50 +0100
committerLennart Poettering <lennart@poettering.net>2016-02-03 23:58:47 +0100
commitce359e98f87c7fbe5aa1d275e43cf088ce46c2b0 (patch)
tree2b7dad70669fd5af09316c8bfcf9a783a3f199d2 /src/.gitignore
parent2d60169dd60d503712d5c2e81a01158e82e636e6 (diff)
core: when a service's ExecStartPre= times out, skip ExecStop=
This makes sure we never run two control processes at the same time, we cannot keep track off. This introduces a slight change of behaviour but cleans up the definition of ExecStop= and ExecStopPost=. The former is now invoked only if the service managed to start-up correctly. The latter is called even if start-up failed half-way. Thus, ExecStopPost= may be used as clean-up step for both successful and failed start-up attempts, but ExecStop='s purpose is clearly defined as being responsible for shutting down the service and nothing else. The precise behaviour of this was not documented yet. This commit adds the necessary docs. Fixes: #1254
Diffstat (limited to 'src/.gitignore')
0 files changed, 0 insertions, 0 deletions