path: root/doc
diff options
authorChristian Grothoff <>2013-05-21 15:00:57 +0000
committerChristian Grothoff <>2013-05-21 15:00:57 +0000
commit10561f9cfb81341449a94edb54fc7154ad8ab9e0 (patch)
tree2da88f4c191c2c3b02c1f9de5622a5f2fb8fa4bd /doc
parent778791c966977cbeb841555c415c24c5778f5378 (diff)
fixing ARM restarting, adding monitor mode to command line
Diffstat (limited to 'doc')
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/man/gnunet-arm.1 b/doc/man/gnunet-arm.1
index 1fbfa4142..0d144b53f 100644
--- a/doc/man/gnunet-arm.1
+++ b/doc/man/gnunet-arm.1
@@ -31,6 +31,9 @@ Starts the specified SERVICE if it is not already running. More specifically, t
.IP "\-k SERVICE, \-\-kill=SERVICE"
Stop the specified SERVICE if it is running. While this will kill the service right now, the service may be restarted immediately if other services depend on it (service is then started 'on-demand'). If the service used to be a 'default' service, its default-service status will be revoked. If the service was not a default service, it will just be (temporarily) stopped, but could be re-started on-demand at any time.
+.IP "\-m, \-\-monitor"
+Monitor service activity of ARM. In this mode, the command will not terminate until the user presses CTRL-C.
.IP "\-s, \-\-start"
Start all GNUnet default services on this system (and also ARM). Naturally, if a service is demanded by a default service, it will then also be started. Running "gnunet-arm \-s" is the usual way to start a GNUnet peer.