diff --git a/web/clitools/peerscrawl.php b/web/clitools/peerscrawl.php index 8b5b1b0..9f081b5 100755 --- a/web/clitools/peerscrawl.php +++ b/web/clitools/peerscrawl.php @@ -64,10 +64,13 @@ OPTIONS line (empty lines are ignored). Any instance matching any defined regex will be ignored by the program. Changes made to this file during program execution will be taken into account. + -i, --includedead + Include “dead” instances (see next two options descriptions to know which + instances are considered “dead”). -g, --gracetime