Don't pass events to process.exit(), which is an error in Node v20

2023-09-07 18:48:18 +01:00
parent f1f48e6c23
commit e9722f4a2f
1 changed files with 1 additions and 1 deletions
@@ -20,7 +20,7 @@ var runCase = function(n) {
  if (n > cases) {
    url = host + '/updateReports?agent=' + agent;
    socket = new WebSocket(url);
-    socket.onclose = process.exit;
+    socket.onclose = function() { process.exit() };
    return;
  }