Archive identification fails when archives are located on `D:\` (instead of `C:\`)

UniFormal / VSCode-MMT

MMT plugin for Visual Studio Code

https://uniformal.github.io

BSD 3-Clause "New" or "Revised" License

3 stars 0 forks source link

Open ComFreek opened 1 year ago

ComFreek commented 1 year ago

The following code in frameit-mmt within the MMT project -> server.scala is the culprit

val workspacePath = URI(uri.replace("c%3A", "C:")).path.mkString(java.io.File.separator)

See #2 for parent issue.

Jazzpirate commented 1 year ago

Yeah, that does not look like a solution to me - notably though, my archives on my PC are on D: and I have no problems...