server: Define server command task structure in main().
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 6 Aug 2017 21:39:02 +0000 (23:39 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 13 Mar 2018 02:28:10 +0000 (03:28 +0100)
commitc1d48060c104aecc99175155309ff2bca32494ca
treec3a664d0e66cf10681b04042a7d6d009cfcd4049
parentda13797a119f8ce621a67145ca1c7acb8d338a3c
server: Define server command task structure in main().

This way it does not need to be static, and we can look at the
contents after schedule() returns.

Preparatory patch for shutting down cleanly on exit.
server.c