aboutsummaryrefslogtreecommitdiffstats
path: root/doc/info
diff options
context:
space:
mode:
authorMattias Andrée <maandree@operamail.com>2015-07-22 16:18:37 +0200
committerMattias Andrée <maandree@operamail.com>2015-07-22 16:18:37 +0200
commit714120820f64c3708d8bc802c05b5426b460f4a1 (patch)
tree71fd93b731bb6f330a95c67a86e3b598e8a72277 /doc/info
parentm (diff)
downloadmds-714120820f64c3708d8bc802c05b5426b460f4a1.tar.gz
mds-714120820f64c3708d8bc802c05b5426b460f4a1.tar.bz2
mds-714120820f64c3708d8bc802c05b5426b460f4a1.tar.xz
m
Signed-off-by: Mattias Andrée <maandree@operamail.com>
Diffstat (limited to 'doc/info')
-rw-r--r--doc/info/mds.texinfo6
1 files changed, 4 insertions, 2 deletions
diff --git a/doc/info/mds.texinfo b/doc/info/mds.texinfo
index 50cc8ae..cf622bf 100644
--- a/doc/info/mds.texinfo
+++ b/doc/info/mds.texinfo
@@ -1268,8 +1268,10 @@ other character, or multiple LF:s.
@pgindex @command{mds-respawn}
@cpindex Respawning servers, automatic
@cpindex Crash resilience
-@command{mds-respawn} is a utility intended to be used
-in @file{$@{XDG_CONFIG_HOME@}/mdsinitrc}. It will
+@cpindex Hyposerver
+@command{mds-respawn} is a hyposerver, that is, a
+utility beneath servers, and intended to be used in
+@file{$@{XDG_CONFIG_HOME@}/mdsinitrc}. It will
spawn a selected set of servers. If a server it
spawns exits with a bad status, @command{mds-respawn}
will respawn it. @command{mds-respawn} supports two