websocket.send_packet: use a send mutex.