Skip to content

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

@ComFreek

Description

@ComFreek

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.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions