diff options
| author | Gerrit Pape <pape@smarden.org> | 2001-11-22 17:42:01 +0000 |
|---|---|---|
| committer | Gerrit Pape <pape@smarden.org> | 2001-11-22 17:42:01 +0000 |
| commit | f7ccdd14a5c954c1c5f0aab084776c2a49586dc1 (patch) | |
| tree | 14124814db7129cb8afc2b33641a23694d7ac710 /Makefile | |
| parent | 54b64b3f09fde903a80fafb0244165e7623998e4 (diff) | |
| download | runit-f7ccdd14a5c954c1c5f0aab084776c2a49586dc1.tar.gz runit-f7ccdd14a5c954c1c5f0aab084776c2a49586dc1.tar.xz runit-f7ccdd14a5c954c1c5f0aab084776c2a49586dc1.zip | |
* collects all terminated children in all stages
* sends sigkill to whole process group if stage2 crashes and waits
5 seconds before restarting
* ctraltdel not automatically shuts down, now respects /etc/runit/stopit
* /etc/runit/ctrlaltdel touches /etc/runit/stopit
* on shutdown request: send sigterm to stage 2, wait max 5 second, send
sigkill if still running, leave stage 2, enter stage 3
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile index df5f7fb..ad32e5f 100644 --- a/Makefile +++ b/Makefile @@ -1,6 +1,6 @@ DESTDIR= -PACKAGE=runit-0.1.1 +PACKAGE=runit-0.1.2 DIRS=doc man etc package src MANPAGES=man/runit.8 man/runit-init.8 man/runit-halt.8 man/runit-reboot.8 DAEMONTOOLS_PD=daemontools-pd-0.76 |