Hi,

I would like to increase the websocket message length from the default of 64 KB. 

The websocket documentation implies this can be done via web.xml [1] 

However, while searching for the syntax I came across the suggestion it is different with the Jetty version 12 API [2]

The Jetty docs have this example [3]

// Configure the ServerContainer.
            container.setDefaultMaxTextMessageBufferSize(128 * 1024);

but my quick code search of the BaseX source found nothing similar.

Is it possible to configure the webSocket  MaxTextMessageBufferSize in BaseX 12.0?

[1] https://docs.basex.org/main/WebSockets#configuration

[2]  https://stackoverflow.com/questions/79610426/setting-the-max-buffer-size-for-websocketclient-since-upgrading-to-jetty-12

[3] https://jetty.org/docs/jetty/12/programming-guide/server/websocket.html#standard-endpoints