M web server: add additional parameter: websockets-port