Mute "unknown error" messages in Edge which occur after the socket was closed successfully
Mute "unknown error" messages in Edge which occur after the socket was closed successfully

openHPI/codeocean,openHPI/codeocean,openHPI/codeocean,openHPI/codeocean,openHPI/codeocean,openHPI/codeocean