Update for API change: ws.end, ws.close

This commit is contained in:
Alex Hultman 2019-01-26 17:26:53 +01:00
parent c66e3836ad
commit 59662d7e07
3 changed files with 8 additions and 9 deletions

View file

@ -127,7 +127,7 @@ function performRandomServerAction(ws, uniform) {
switch (action) {
case 0: {
ws.close();
ws.end();
break;
}
case 1: {
@ -142,8 +142,7 @@ function performRandomServerAction(ws, uniform) {
break;
}
case 2: {
/* This should correspond to hard us_socket_close */
ws.terminate();
ws.close();
break;
}
}