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.

Sign up for GitHub

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

Jump to bottom

prefix root dir to records in ArbitraryFileIdManager #34

Merged

dlqqq merged 1 commit into jupyter-server:main from dlqqq:prefix-root-dir

Oct 27, 2022

Collaborator

dlqqq commented Oct 27, 2022

New behavior:

root_dir is always prefixed via os.path.join() before writing record in ArbitraryFileIdManager
get_path() always returns an API path, i.e. relative to root_dir and delimited by /

Closes #31.


          prefix root dir to records in ArbitraryFileIdManager

70b5362

dlqqq added the enhancement label

dlqqq merged commit 71c90c6 into jupyter-server:main

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels