Mathieu Lirzin 8a782b3e84 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.		2016-12-28 18:49:21 +01:00
..
cuirass.in	cuirass: Add "--port" command line option.	2016-12-28 18:49:21 +01:00
evaluate.in	cuirass: Hard code Guile load paths.	2016-11-12 17:49:20 +01:00