Change default presence/metrics interval for mixnodes/gateways #349
Description
Let's set it to 5 seconds. It'll need changes in the directory server and dashboard as well as in the nodes.
{{ message }}
Let's set it to 5 seconds. It'll need changes in the directory server and dashboard as well as in the nodes.