diff options
| author | Lennart Poettering <lennart@poettering.net> | 2013-12-18 04:19:20 +0100 |
|---|---|---|
| committer | Lennart Poettering <lennart@poettering.net> | 2013-12-18 18:21:27 +0100 |
| commit | bf108e5541e2a3cbc6f0c59e93665eceb7a5ce05 (patch) | |
| tree | 9cf3647427c0b9fb99a05b0fc48eedd0c0256015 /src/shared/util.h | |
| parent | f6613dd959a1ab49bf061555ada77903397569ad (diff) | |
service: watch main pid even in final states
In some circumstances, for example when start-up times out we
immediately jump into the final state, at which point we still should
try to watch the main pid so that the SIGCHLD allows us to quickly
move into dead state.
Diffstat (limited to 'src/shared/util.h')
| -rw-r--r-- | src/shared/util.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/shared/util.h b/src/shared/util.h index ddb35181ab..3e0a6d5c1c 100644 --- a/src/shared/util.h +++ b/src/shared/util.h @@ -804,3 +804,5 @@ int container_get_leader(const char *machine, pid_t *pid); int namespace_open(pid_t pid, int *pidns_fd, int *mntns_fd, int *root_fd); int namespace_enter(int pidns_fd, int mntns_fd, int root_fd); + +bool pid_valid(pid_t pid); |