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 | http: Add 'port' keyword argument to 'run-cuirass-server'. (diff) | |
| download | 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. |