jupyter-webrtc-provider 0.2.0 → 0.2.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/lib/provider.js +7 -8
- package/package.json +11 -1
- package/src/provider.ts +13 -10
package/lib/provider.js
CHANGED
|
@@ -8,6 +8,7 @@ import { PageConfig, URLExt } from '@jupyterlab/coreutils';
|
|
|
8
8
|
import { IWebSocketFactory } from './websocket';
|
|
9
9
|
import { WebRTCAwarenessProvider } from './awareness';
|
|
10
10
|
import { DEFAULT_ROOM_ID_MANAGER, IRoomIdManager } from './roomid';
|
|
11
|
+
const DEFAULT_WEBSOCKET_FACTORY = async (url) => new WebSocket(url);
|
|
11
12
|
const PLUGIN_ID = 'jupyter-webrtc-provider';
|
|
12
13
|
const signalingServerUrls = PageConfig.getOption('signalingServers');
|
|
13
14
|
const signalingServers = signalingServerUrls
|
|
@@ -174,10 +175,9 @@ function getAbsoluteUrls(signalingServers, serverSettings) {
|
|
|
174
175
|
* Document provider factory that creates WebSocket providers.
|
|
175
176
|
*/
|
|
176
177
|
class WebRTCDocumentProviderFactory {
|
|
177
|
-
constructor(trans, webSocketFactory, roomIdManager
|
|
178
|
+
constructor(trans, webSocketFactory, roomIdManager) {
|
|
178
179
|
this._trans = trans;
|
|
179
|
-
this._webSocketFactory =
|
|
180
|
-
webSocketFactory !== null && webSocketFactory !== void 0 ? webSocketFactory : (async (url) => new WebSocket(url));
|
|
180
|
+
this._webSocketFactory = webSocketFactory !== null && webSocketFactory !== void 0 ? webSocketFactory : DEFAULT_WEBSOCKET_FACTORY;
|
|
181
181
|
this._roomIdManager = roomIdManager !== null && roomIdManager !== void 0 ? roomIdManager : DEFAULT_ROOM_ID_MANAGER;
|
|
182
182
|
}
|
|
183
183
|
create(options) {
|
|
@@ -202,8 +202,7 @@ class WebRTCDocumentProviderFactory {
|
|
|
202
202
|
*/
|
|
203
203
|
class WebRTCAwarenessProviderFactory {
|
|
204
204
|
constructor(webSocketFactory, roomIdManager) {
|
|
205
|
-
this._webSocketFactory =
|
|
206
|
-
webSocketFactory !== null && webSocketFactory !== void 0 ? webSocketFactory : (async (url) => new WebSocket(url));
|
|
205
|
+
this._webSocketFactory = webSocketFactory !== null && webSocketFactory !== void 0 ? webSocketFactory : DEFAULT_WEBSOCKET_FACTORY;
|
|
207
206
|
this._roomIdManager = roomIdManager !== null && roomIdManager !== void 0 ? roomIdManager : DEFAULT_ROOM_ID_MANAGER;
|
|
208
207
|
}
|
|
209
208
|
create(options) {
|
|
@@ -225,11 +224,11 @@ export const documentProviderFactoryPlugin = {
|
|
|
225
224
|
id: PLUGIN_ID + '-document-factory',
|
|
226
225
|
description: 'Provides a WebRTC document provider factory.',
|
|
227
226
|
requires: [ITranslator],
|
|
228
|
-
optional: [IWebSocketFactory],
|
|
227
|
+
optional: [IWebSocketFactory, IRoomIdManager],
|
|
229
228
|
provides: IDocumentProviderFactory,
|
|
230
|
-
activate: async (app, translator, webSocketFactory) => {
|
|
229
|
+
activate: async (app, translator, webSocketFactory, roomIdManager) => {
|
|
231
230
|
const trans = translator.load('jupyter_collaboration');
|
|
232
|
-
return new WebRTCDocumentProviderFactory(trans, webSocketFactory);
|
|
231
|
+
return new WebRTCDocumentProviderFactory(trans, webSocketFactory, roomIdManager);
|
|
233
232
|
}
|
|
234
233
|
};
|
|
235
234
|
/**
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "jupyter-webrtc-provider",
|
|
3
|
-
"version": "0.2.
|
|
3
|
+
"version": "0.2.2",
|
|
4
4
|
"description": "A JupyterLab extension for a WebRTC shared document provider.",
|
|
5
5
|
"keywords": [
|
|
6
6
|
"jupyter",
|
|
@@ -100,6 +100,16 @@
|
|
|
100
100
|
"jupyterlab": {
|
|
101
101
|
"extension": true,
|
|
102
102
|
"outputDir": "jupyter_webrtc_provider/labextension",
|
|
103
|
+
"sharedPackages": {
|
|
104
|
+
"@jupyter/docprovider": {
|
|
105
|
+
"bundled": false,
|
|
106
|
+
"singleton": true
|
|
107
|
+
},
|
|
108
|
+
"@jupyter/ydoc": {
|
|
109
|
+
"bundled": false,
|
|
110
|
+
"singleton": true
|
|
111
|
+
}
|
|
112
|
+
},
|
|
103
113
|
"disabledExtensions": [
|
|
104
114
|
"@jupyter/docprovider-extension:websocket-provider-awareness-factory",
|
|
105
115
|
"@jupyter/docprovider-extension:websocket-provider-document-factory"
|
package/src/provider.ts
CHANGED
|
@@ -25,6 +25,8 @@ import { IWebSocket, IWebSocketFactory } from './websocket';
|
|
|
25
25
|
import { WebRTCAwarenessProvider } from './awareness';
|
|
26
26
|
import { DEFAULT_ROOM_ID_MANAGER, IRoomIdManager } from './roomid';
|
|
27
27
|
|
|
28
|
+
const DEFAULT_WEBSOCKET_FACTORY = async (url: string) =>
|
|
29
|
+
new WebSocket(url) as unknown as IWebSocket;
|
|
28
30
|
const PLUGIN_ID = 'jupyter-webrtc-provider';
|
|
29
31
|
const signalingServerUrls = PageConfig.getOption('signalingServers');
|
|
30
32
|
const signalingServers = signalingServerUrls
|
|
@@ -303,12 +305,10 @@ class WebRTCDocumentProviderFactory implements IDocumentProviderFactory {
|
|
|
303
305
|
constructor(
|
|
304
306
|
trans: TranslationBundle,
|
|
305
307
|
webSocketFactory: IWebSocketFactory | undefined,
|
|
306
|
-
roomIdManager: IRoomIdManager | undefined
|
|
308
|
+
roomIdManager: IRoomIdManager | undefined
|
|
307
309
|
) {
|
|
308
310
|
this._trans = trans;
|
|
309
|
-
this._webSocketFactory =
|
|
310
|
-
webSocketFactory ??
|
|
311
|
-
(async (url: string) => new WebSocket(url) as unknown as IWebSocket);
|
|
311
|
+
this._webSocketFactory = webSocketFactory ?? DEFAULT_WEBSOCKET_FACTORY;
|
|
312
312
|
this._roomIdManager = roomIdManager ?? DEFAULT_ROOM_ID_MANAGER;
|
|
313
313
|
}
|
|
314
314
|
|
|
@@ -345,9 +345,7 @@ class WebRTCAwarenessProviderFactory implements IAwarenessProviderFactory {
|
|
|
345
345
|
webSocketFactory: IWebSocketFactory | undefined,
|
|
346
346
|
roomIdManager: IRoomIdManager | undefined
|
|
347
347
|
) {
|
|
348
|
-
this._webSocketFactory =
|
|
349
|
-
webSocketFactory ??
|
|
350
|
-
(async (url: string) => new WebSocket(url) as unknown as IWebSocket);
|
|
348
|
+
this._webSocketFactory = webSocketFactory ?? DEFAULT_WEBSOCKET_FACTORY;
|
|
351
349
|
this._roomIdManager = roomIdManager ?? DEFAULT_ROOM_ID_MANAGER;
|
|
352
350
|
}
|
|
353
351
|
|
|
@@ -378,15 +376,20 @@ export const documentProviderFactoryPlugin: JupyterFrontEndPlugin<IDocumentProvi
|
|
|
378
376
|
id: PLUGIN_ID + '-document-factory',
|
|
379
377
|
description: 'Provides a WebRTC document provider factory.',
|
|
380
378
|
requires: [ITranslator],
|
|
381
|
-
optional: [IWebSocketFactory],
|
|
379
|
+
optional: [IWebSocketFactory, IRoomIdManager],
|
|
382
380
|
provides: IDocumentProviderFactory,
|
|
383
381
|
activate: async (
|
|
384
382
|
app: JupyterFrontEnd,
|
|
385
383
|
translator: ITranslator,
|
|
386
|
-
webSocketFactory?: IWebSocketFactory
|
|
384
|
+
webSocketFactory?: IWebSocketFactory,
|
|
385
|
+
roomIdManager?: IRoomIdManager
|
|
387
386
|
) => {
|
|
388
387
|
const trans = translator.load('jupyter_collaboration');
|
|
389
|
-
return new WebRTCDocumentProviderFactory(
|
|
388
|
+
return new WebRTCDocumentProviderFactory(
|
|
389
|
+
trans,
|
|
390
|
+
webSocketFactory,
|
|
391
|
+
roomIdManager
|
|
392
|
+
);
|
|
390
393
|
}
|
|
391
394
|
};
|
|
392
395
|
|