a TCP time server.