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 /Makefile.am | |
| 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 'Makefile.am')
0 files changed, 0 insertions, 0 deletions