diff options
| -rw-r--r-- | conf.d/Makefile.Linux | 2 | ||||
| -rw-r--r-- | conf.d/killprocs | 3 | ||||
| -rw-r--r-- | init.d/killprocs.in | 4 |
3 files changed, 6 insertions, 3 deletions
diff --git a/conf.d/Makefile.Linux b/conf.d/Makefile.Linux index 37745de2..369b3dff 100644 --- a/conf.d/Makefile.Linux +++ b/conf.d/Makefile.Linux @@ -1,2 +1,2 @@ -CONF+= consolefont dmesg hwclock keymaps modules +CONF+= consolefont dmesg hwclock keymaps killprocs modules SOS= Linux diff --git a/conf.d/killprocs b/conf.d/killprocs new file mode 100644 index 00000000..0cf10d0d --- /dev/null +++ b/conf.d/killprocs @@ -0,0 +1,3 @@ +# If you wish to pass any options to killall5 during shutdown, +# you should do so here. +killall5_opts="" diff --git a/init.d/killprocs.in b/init.d/killprocs.in index 7132e9ea..2d398d27 100644 --- a/init.d/killprocs.in +++ b/init.d/killprocs.in @@ -12,11 +12,11 @@ depend() start() { ebegin "Terminating remaining processes" - killall5 -15 + killall5 -15 ${killall5_opts} sleep 1 eend 0 ebegin "Killing remaining processes" - killall5 -9 + killall5 -9 ${killall5_opts} sleep 1 eend 0 } |