I'm trying to run two servers listening to different ports in MonetDB, but I can't configure the ports.
I tried to include in M5server.bat:
set "mapi_port=50001", set mapi_port=50001, set port=50001, any combination of set and port, basically, still it does not work. The server is still listening to the default 50000.