|
@@ -482,6 +482,7 @@ function onSelectedEndpointChanged(userResource)
|
482
|
482
|
_dataChannels.some(function (dataChannel) {
|
483
|
483
|
if (dataChannel.readyState == 'open')
|
484
|
484
|
{
|
|
485
|
+ console.log('sending data channel notification that the selected endpoint changed: ', userResource);
|
485
|
486
|
dataChannel.send(JSON.stringify({
|
486
|
487
|
'colibriClass': 'SelectedEndpointChangedEvent',
|
487
|
488
|
'selectedEndpoint':
|
|
@@ -25311,4 +25312,4 @@ function isUndefined(arg) {
|
25311
|
25312
|
}
|
25312
|
25313
|
|
25313
|
25314
|
},{}]},{},[1])(1)
|
25314
|
|
-});
|
|
25315
|
+});
|