fixes linux build srvctrl

Mon, 06 Mar 2017 16:06:00 +0100

author
Olaf Wintermann <olaf.wintermann@gmail.com>
date
Mon, 06 Mar 2017 16:06:00 +0100
branch
srvctrl
changeset 176
f2268fcbe487
parent 175
9823770ba4ee
child 177