2017-05-30 18:48:33 -05:00
|
|
|
# If you wish to pass any options to kill_all during shutdown,
|
2011-06-23 21:52:44 -05:00
|
|
|
# you should do so here.
|
2017-05-30 18:48:33 -05:00
|
|
|
#
|
|
|
|
# The setting is called killall5_opts because the options here are meant
|
|
|
|
# to be identical to those you could pass to killall5.
|
2011-06-23 21:52:44 -05:00
|
|
|
killall5_opts=""
|