services: cuirass: Set default port values.

* gnu/services/cuirass.scm (<cuirass-remote-server-configuration>,
<cuirass-configuration>): Set default port values.
This commit is contained in:
Mathieu Othacehe 2021-03-23 20:30:24 +01:00
parent 90d166e510
commit 3c9a353849
No known key found for this signature in database
GPG Key ID: 8354763531769CA6

@ -66,9 +66,11 @@
cuirass-remote-server-configuration make-cuirass-remote-server-configuration
cuirass-remote-server-configuration?
(backend-port cuirass-remote-server-configuration-backend-port ;int
(default #f))
(default 5555))
(log-port cuirass-remote-server-configuration-log-port ;int
(default 5556))
(publish-port cuirass-remote-server-configuration-publish-port ;int
(default #f))
(default 5557))
(log-file cuirass-remote-server-log-file ;string
(default "/var/log/cuirass-remote-server.log"))
(cache cuirass-remote-server-configuration-cache ;string
@ -328,7 +330,7 @@
(log-file cuirass-remote-worker-log-file ;string
(default "/var/log/cuirass-remote-worker.log"))
(publish-port cuirass-remote-worker-configuration-publish-port ;int
(default #f))
(default 5558))
(public-key cuirass-remote-worker-configuration-public-key ;string
(default #f))
(private-key cuirass-remote-worker-configuration-private-key ;string