summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorMathieu Lirzin <mthl@gnu.org>2016-12-24 02:15:17 +0100
committerMathieu Lirzin <mthl@gnu.org>2016-12-28 18:49:21 +0100
commit8a782b3e84059cd1068500ccf327d6b9c3d6db09 (patch)
tree229dd5fab398ab5d2029d5a83b08bd406eac7040 /doc
parentb59b8e55675ddd83187423a2877ad481f884aa6f (diff)
downloadcuirass-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.texi5
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.