From: Paul Hänsch Date: Mon, 6 Aug 2018 17:37:48 +0000 (+0200) Subject: code improvements X-Git-Url: http://git.plutz.net/?a=commitdiff_plain;h=cdb3e3cbc4b7b2009d88833b3a802e73c0213f4c;hp=cdb3e3cbc4b7b2009d88833b3a802e73c0213f4c;p=serve0 code improvements ---