-
-
Notifications
You must be signed in to change notification settings - Fork 41
Open
Description
Now that we use the file hash, we could use it to check if the server was the one who saved the file last, instead of using timestamps (see jupyter-server/jupyter_server#1367 (comment) and jupyterlab/jupyterlab#14031 (comment)). This could be done in another PR.
Originally posted by @davidbrochart in #337 (comment)
Upstream JupyterLab checks hash
if present and if not then falls back to timestamp
comparison. There are some cases when hash
is better because touch
ing file when changing branches or similar (but keeping the content the same) does change timestamp
but not the hash
. hash
is only available with newer jupyter-server
(2.11.1
or newer).
Metadata
Metadata
Assignees
Labels
No labels