slight wording change. Fixes nmap#2261.

fyodor · fyodor · commit 7bd0318e3d1d · 2021-03-07T03:29:16.000Z
diff --git a/nmap.cc b/nmap.cc
@@ -1126,7 +1126,7 @@ void parse_options(int argc, char **argv) {
           delayed_options.warn_deprecated(buf, "Pn");
         }
         if (o.verbose > 0)
-          error("Host discovery disabled (-Pn). All addresses will be marked 'up' and scan times will be slower.");
+          error("Host discovery disabled (-Pn). All addresses will be marked 'up' and scan times may be slower.");
         o.pingtype |= PINGTYPE_NONE;
       }
       else if (*optarg == 'R') {

Original file line number	Diff line number	Diff line change
`@@ -1126,7 +1126,7 @@ void parse_options(int argc, char **argv) {`
`1126`	`1126`	`delayed_options.warn_deprecated(buf, "Pn");`
`1127`	`1127`	`}`
`1128`	`1128`	`if (o.verbose > 0)`
`1129`		`- error("Host discovery disabled (-Pn). All addresses will be marked 'up' and scan times will be slower.");`
	`1129`	`+ error("Host discovery disabled (-Pn). All addresses will be marked 'up' and scan times may be slower.");`
`1130`	`1130`	`o.pingtype \|= PINGTYPE_NONE;`
`1131`	`1131`	`}`
`1132`	`1132`	`else if (*optarg == 'R') {`