WebSocket: convert spaces to tabs