53     this._websocket = null;  // WebSocket object
173             if (this._websocket.bufferedAmount !== 0) {
174                 Util.Debug("bufferedAmount: " + this._websocket.bufferedAmount);
177             if (this._websocket.bufferedAmount < this.maxBufferedAmount) {
179                     this._websocket.send(this._encode_message());
186                         this._websocket.bufferedAmount);
211             this._websocket = null;
275             this._websocket = new WebSocket(uri, protocols);
278                 this._websocket.binaryType = 'arraybuffer';
281             this._websocket.onmessage = this._recv_message.bind(this);
282             this._websocket.onopen = (function () {  method
284                 if (this._websocket.protocol) {
285                     this._mode = this._websocket.protocol;
286                     Util.Info("Server choose sub-protocol: " + this._websocket.protocol);
289                     Util.Error('Server select no sub-protocol!: ' + this._websocket.protocol);
294             this._websocket.onclose = (function (e) {  method
299             this._websocket.onerror = (function (e) {  method
307             if (this._websocket) {
308                 if ((this._websocket.readyState === WebSocket.OPEN) ||
309                         (this._websocket.readyState === WebSocket.CONNECTING)) {
311                     this._websocket.close();
314                 this._websocket.onmessage = function (e) { return; };  method