Some final adjustments before merge

This commit is contained in:
Jef Roosens 2022-04-06 19:51:54 +02:00
parent c656e672e2
commit dff531d866
Signed by untrusted user: Jef Roosens
GPG key ID: B75D4F293C7052DB
4 changed files with 4 additions and 3 deletions

View file

@ -18,7 +18,7 @@ pub:
pub fn cmd() cli.Command {
return cli.Command{
name: 'server'
description: 'Start the Vieter server'
description: 'Start the Vieter server.'
execute: fn (cmd cli.Command) ? {
config_file := cmd.flags.get_string('config-file') ?
conf := env.load<Config>(config_file) ?