diff options
author | Mathieu Lirzin <mthl@gnu.org> | 2016-12-24 02:15:17 +0100 |
---|---|---|
committer | Mathieu Lirzin <mthl@gnu.org> | 2016-12-28 18:49:21 +0100 |
commit | 8a782b3e84059cd1068500ccf327d6b9c3d6db09 (patch) | |
tree | 229dd5fab398ab5d2029d5a83b08bd406eac7040 /doc | |
parent | b59b8e55675ddd83187423a2877ad481f884aa6f (diff) | |
download | cuirass-8a782b3e84059cd1068500ccf327d6b9c3d6db09.tar cuirass-8a782b3e84059cd1068500ccf327d6b9c3d6db09.tar.gz |
cuirass: Add "--port" command line option.
* bin/cuirass.in (%options): Add "--port" and "-p" command line options.
(show-help): Adapt.
(main): Set default to 8080. Call 'run-cuirass-server' with this.
* src/cuirass/http.scm (run-cuirass-server): Display the port number.
* doc/cuirass.texi (Invocation): Document new option.
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. |