X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fdaemon.man;h=c2393774766115cd36c7322d17e84172c52cde71;hb=0d0f05b909b6428d44eb147bd4edd73782d2a137;hp=ea0561dafd36b0553ecbdcd7fe9b982e371a1462;hpb=8fef8c7121222233075a03d57db7e0b48d5f6be5;p=openvswitch

diff --git a/lib/daemon.man b/lib/daemon.man
index ea0561da..c2393774 100644
--- a/lib/daemon.man
+++ b/lib/daemon.man
@@ -19,6 +19,17 @@ When \fB--pidfile\fR is not specified, this option has no effect.
 Causes \fB\*(PN\fR to detach itself from the foreground session and
 run as a background process.
 
+.TP
+\fB--monitor\fR
+Creates an additional process to monitor the \fB\*(PN\fR daemon.  If
+the daemon dies due to a signal that indicates a programming error
+(e.g. \fBSIGSEGV\fR, \fBSIGABRT\fR), then the monitor process starts a
+new copy of it.  If the daemon die or exits for another reason, the
+monitor process exits.
+.IP
+This option is normally used with \fB--detach\fR, but it also
+functions without it.
+
 .TP
 \fB--no-chdir\fR
 By default, when \fB--detach\fR is specified, \fB\*(PN\fR