##// END OF EJS Templates
Merge pull request #6497 from SylvainCorlay/_ws_opened...
Jonathan Frederic -
r17922:53c63dc6 merge
parent child Browse files
Show More
@@ -219,7 +219,7 b' define(['
219 var channels = [this.shell_channel, this.iopub_channel, this.stdin_channel];
219 var channels = [this.shell_channel, this.iopub_channel, this.stdin_channel];
220 for (var i=0; i < channels.length; i++) {
220 for (var i=0; i < channels.length; i++) {
221 // if any channel is not ready, don't trigger event.
221 // if any channel is not ready, don't trigger event.
222 if ( channels[i].readyState == WebSocket.OPEN ) return;
222 if ( channels[i].readyState !== WebSocket.OPEN ) return;
223 }
223 }
224 // all events ready, trigger started event.
224 // all events ready, trigger started event.
225 this.events.trigger('status_started.Kernel', {kernel: this});
225 this.events.trigger('status_started.Kernel', {kernel: this});
General Comments 0
You need to be logged in to leave comments. Login now