Race condition when manually saving after renaming files: updating file name takes too long #518
Description
Description
If two users (or a single user with a session open in two browsers) have the same new file open and one user renames it, there is 5-10 seconds delay before the file name is updated for the second user.
If the second user saves the file, in that period there will be two files on disk!
Related to:
Reproduce
Screencast.From.2025-11-26.14-05-43.mp4
Expected behavior
The updates to file names propagate faster?
Context
- jupyter-collaboration v4.1.2
- JupyterLab version: 4.5.0