Skip to content

Conversation

@brown
Copy link
Contributor

@brown brown commented Jan 21, 2023

The activeDocuments map in FileStore maps Path to content, but in a couple of places the code calls activeDocuments.get() with URIs instead of Paths.

The code looks wrong but I do not know whether the change I made is correct.

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant