X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=utilities%2Fofp-discover.8.in;h=694b3b932e5b8530f0ad3f9615c2d5748f54f5eb;hb=e9ab3dbf6d648c98f62248907baeea65cfc0505a;hp=19923a33bd3de65b1ad8f5ab255b7fe7f1620567;hpb=305908583039cdd1c0229203a5b885ab97a17cce;p=openvswitch

diff --git a/utilities/ofp-discover.8.in b/utilities/ofp-discover.8.in
index 19923a33..694b3b93 100644
--- a/utilities/ofp-discover.8.in
+++ b/utilities/ofp-discover.8.in
@@ -83,6 +83,16 @@ The \fIpidfile\fR is created when \fBofp\-discover\fR detaches, so
 this this option has no effect when one of \fB--exit-without-bind\fR,
 \fB--exit-after-bind\fR, or \fB--no-detach\fR is also given.
 
+.TP
+\fB-f\fR, \fB--force\fR
+By default, when \fB-P\fR or \fB--pidfile\fR is specified and the
+specified pidfile already exists and is locked by a running process,
+\fBcontroller\fR refuses to start.  Specify \fB-f\fR or \fB--force\fR
+to cause it to instead overwrite the pidfile.
+
+When \fB-P\fR or \fB--pidfile\fR is not specified, this option has no
+effect.
+
 .TP
 .BR \-h ", " \-\^\-help
 Prints a brief help message to the console.