]> git.tuebingen.mpg.de Git - paraslash.git/commitdiff
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)
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.


No differences found