Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Adds restore and ovewrite messages #170

Merged
merged 4 commits into from
Jul 13, 2023

Conversation

hbcarlos
Copy link
Member

@hbcarlos hbcarlos commented Jun 22, 2023

Problems:

  1. Watching the file doesn't stop because multiple rooms could access the same file.
    I added a lock so the room stops sending the message until the user responds.

  2. Any user can answer the message.
    We must keep track of the messages to dismiss other users' answers or close the dialog.
    I created a dictionary of locks to tackle this.

  3. When opening the same file with different views in the same lab instance, the dialog pops up whenever you modify the document.
    Should this feature be optional?

@hbcarlos hbcarlos added bug Something isn't working enhancement New feature or request labels Jun 22, 2023
@hbcarlos hbcarlos requested a review from fcollonval June 22, 2023 11:24
@hbcarlos hbcarlos self-assigned this Jun 22, 2023
@github-actions
Copy link
Contributor

Binder 👈 Launch a Binder on branch hbcarlos/jupyter-collaboration/rtc-subprotocol

@hbcarlos hbcarlos marked this pull request as ready for review June 22, 2023 16:20
@hbcarlos hbcarlos merged commit b43b525 into jupyterlab:main Jul 13, 2023
@hbcarlos hbcarlos deleted the rtc-subprotocol branch July 13, 2023 16:28
@hbcarlos hbcarlos added this to the 2.0.0 milestone Jul 14, 2023
davidbrochart added a commit to davidbrochart/jupyter_collaboration that referenced this pull request Dec 26, 2023
davidbrochart added a commit to davidbrochart/jupyter_collaboration that referenced this pull request Dec 26, 2023
davidbrochart added a commit to davidbrochart/jupyter_collaboration that referenced this pull request Dec 26, 2023
davidbrochart added a commit that referenced this pull request Dec 26, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant