diff options
author | Mattias Andrée <maandree@operamail.com> | 2015-07-22 16:18:37 +0200 |
---|---|---|
committer | Mattias Andrée <maandree@operamail.com> | 2015-07-22 16:18:37 +0200 |
commit | 714120820f64c3708d8bc802c05b5426b460f4a1 (patch) | |
tree | 71fd93b731bb6f330a95c67a86e3b598e8a72277 /doc/info | |
parent | m (diff) | |
download | mds-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.texinfo | 6 |
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 |