diff options
Diffstat (limited to 'issues/server-configuration.md')
-rw-r--r-- | issues/server-configuration.md | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/issues/server-configuration.md b/issues/server-configuration.md new file mode 100644 index 0000000..22fbf9a --- /dev/null +++ b/issues/server-configuration.md @@ -0,0 +1,19 @@ +# Server configuration +Reported by: ln5 + +All server configuration is done via command-line arguments. + +This is good for configuration settings which last through the lifetime of an +invocation of a log instance, i.e., from launch to Ctrl-C. Examples: +- `--http_endpoint` +- `--key`. + +It is less good for settings that change over time. Examples: +- `--witnesses` + +Reading a configuration file at start and when receiving, say, SIGHUP, is an +alternative. + +Implementing a "control port", typically a TCP endpoint, where an administrator +can "program" the log instance is another alternative. Such an interface can +also be used for diagnostics. |