websocket: get server time.