server-tools/instance-manager/listener.cc:
  reinitialize timer used in select(), as on linux it is modified
  to reflect amout of time not slept (e.g. set ot zero)