fix websocket.cpp (broken in fd13268)