forked from vieter-v/vieter
17 lines
257 B
Coq
17 lines
257 B
Coq
|
module server
|
||
|
|
|
||
|
|
import cli
|
||
|
|
import env
|
||
|
|
|
||
|
|
pub fn cmd() cli.Command {
|
||
|
|
return cli.Command{
|
||
|
|
name: 'server'
|
||
|
|
description: 'Start the Vieter server'
|
||
|
|
execute: fn (cmd cli.Command) ? {
|
||
|
|
conf := env.load<env.ServerConfig>() ?
|
||
|
|
|
||
|
|
server.server(conf) ?
|
||
|
|
}
|
||
|
|
}
|
||
|
|
}
|