diff options
| author | Michael Olbrich <m.olbrich@pengutronix.de> | 2013-05-19 12:10:55 +0200 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-05-21 09:23:51 -0400 |
| commit | 9e9c3abcfa6b93500960531d0d7aa64b8b2b0349 (patch) | |
| tree | 7add36bbec109b5cc21e7f028596dda457410e59 /make-man-rules.py | |
| parent | 571bfc6c56962dfc926e9bbc1600c511fc8565d1 (diff) | |
service: kill processes with SIGKILL on watchdog failure
Just calling service_enter_dead() does not kill any processes.
As a result, the old process may still be running when the new one is
started.
After a watchdog failure the service is in an undefined state.
Using the normal shutdown mechanism makes no sense. Instead all processes
are just killed and the service can try to restart.
Diffstat (limited to 'make-man-rules.py')
0 files changed, 0 insertions, 0 deletions