- clean processes started by arb that are started by the user
Sometimes arb leaves some processes running. All processes which are cleanly
registered by arb will be killed.
This manual page was written by Andreas Tille <firstname.lastname@example.org>, for the
Debian GNU/Linux system (but may be used by others).