MKR WIFI 1010 websockets server

I am trying to setup a websocket server on a MKR wifi 1010. I have a simple client setup and working but as soon as I add this line:

#include <WebSocketsServer.h>

I get the error:

\arduino\tools\arm-none-eabi-gcc\7-2017q4\arm-none-eabi\include\c++\7.2.1\bits\stl_algobase.h:243:56: error: macro “min” passed 3 arguments, but takes just 2

min(const _Tp& __a, const _Tp& __b, _Compare __comp)

^

\arduino\tools\arm-none-eabi-gcc\7-2017q4\arm-none-eabi\include\c++\7.2.1\bits\stl_algobase.h:265:56: error: macro “max” passed 3 arguments, but takes just 2

max(const _Tp& __a, const _Tp& __b, _Compare __comp)

^
I’m using
name=WiFiNINA
version=1.5.0

name=WebSockets
version=2.2.0
author=Markus Sattler

#include <WiFiNINA.h>
// #include <WebSocketsServer.h>

const char WIFI_SSID[] = "wifi"; // WiFI ssid
const char WIFI_PASS[] = "password"; //WiFI password

WiFiClient net;
int status = WL_IDLE_STATUS;

void setup() 
{
  Serial.begin(115200);
  Serial.print("checking wifi...");
  while ( status != WL_CONNECTED) {
    status = WiFi.begin(WIFI_SSID, WIFI_PASS);
    Serial.print(".");
    delay(1000);
  }
  Serial.println("\nconnected to WiFi!\n");
}

void loop() 
{
  
}

Can anyone help me get past this hurdle?

Thank you,

I guess you're using this library. Your platform isn't (yet) supported by this library.

Thanks Pylon for your response.

Is there any library that supports WebSocketsServer on the MKR 1010 WiFi?

Is there any library that supports WebSocketsServer on the MKR 1010 WiFi?

I didn't try it with the MKR1010 but the ArduinoWebsockets library by Gil Maimon (available in the IDE library manager) should work with an network client.