socket = {
const socket = new WebSocket("wss://atlas-stream.ripe.net/stream/");
const params = { streamType: "result", msm: 1001 };
let res = [];
socket.onmessage = function (event) {
const j = JSON.parse(event.data);
mutable results = mutable results.concat(j[1].result.map((r) => r.rtt));
};
socket.onopen = function (event) {
this.send(JSON.stringify(["atlas_subscribe", params]));
};
return res;
}