projects / oweals / dinit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0cf5edd) | patch
service: implement stop timeout / hard kill.
authorDavin McCall <davmac@davmac.org>
Tue, 27 Jun 2017 16:05:30 +0000 (17:05 +0100)
committerDavin McCall <davmac@davmac.org>
Tue, 27 Jun 2017 16:05:30 +0000 (17:05 +0100)
commit49079e40240000988682370eec39319fba61d040
tree0be1da646a5432285aa498663c8c4d37045bc21ctree | snapshot
parent0cf5edd103c7ad576f9c17e32cca59c75dbed3e0commit | diff
service: implement stop timeout / hard kill.

If a service fails to stop in its alloted time, it will be killed with
SIGKILL. The timeout is currently hardcoded to 10 seconds.
src/service.cc diff | blob | history
src/service.h diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.