Rename state room_id to document_id

Author: fcollonval

packages/docprovider/src/notebookCellExecutor.ts

@@ -107,7 +107,7 @@ export class NotebookCellServerExecutor implements INotebookCellExecutor {
             `api/kernels/${kernelId}/execute`
           );
           const cellId = cell.model.sharedModel.getId();
-          const documentId = notebook.sharedModel.getState('room_id');
+          const documentId = notebook.sharedModel.getState('document_id');
 
           const init = {
             method: 'POST',

packages/docprovider/src/yprovider.ts

@@ -137,7 +137,7 @@ export class WebSocketProvider implements IDocumentProvider {
         this._yWebsocketProvider.off('sync', this._onSync);
 
         const state = this._sharedModel.ydoc.getMap('state');
-        state.set('room_id', this._yWebsocketProvider.roomname);
+        state.set('document_id', this._yWebsocketProvider.roomname);
       }
       this._ready.resolve();
     }