Problem with websocket-based live sync

See here: