resources/websockets.js in plezi-0.12.2 vs resources/websockets.js in plezi-0.12.3

- old
+ new

@@ -22,10 +22,10 @@ websocket_fail_count = 0 // what do you want to do now? }; websocket.onclose = function(e) { - // If the websocket repeatedly you probably want to reopen the websocket if it closes + // If the websocket repeatedly you probably want to report an error if(!isNaN(websocket_fail_limit) && websocket_fail_count >= websocket_fail_limit) { // What to do if we can't reconnect so many times? return }; // you probably want to reopen the websocket if it closes.