diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/cuirass.texi | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/cuirass.texi b/doc/cuirass.texi index 8233f6e..d12ddea 100644 --- a/doc/cuirass.texi +++ b/doc/cuirass.texi @@ -169,6 +169,11 @@ build results. Since @code{cuirass} uses SQLite as a database engine, @var{database} must be a file name. If the file doesn't exist, it will be created. +@item --port=@var{num} +@itemx -p @var{num} +Make the HTTP interface listen on port @var{num}. Use port 8080 by +default. + @item --interval=@var{n} @itemx -I @var{n} Wait @var{n} seconds between each poll. |