If the servername in settings.json has a capital letter then the serveside connection fails

[adaptun]

If the servername in settings.json has capital letters, then server-side editing fails with "Unable to resolve workspace folder (isfs://iris2024x1:user/)"

How to reproduce: a) Add a server definition:

    "IRIS2024x1": {
        "username": "superuser",
        "password": "...",
        "webServer": {
            "host": "somehost",
            "port": 443,
            "scheme": "https",
            "pathPrefix": "/irishealth2024x1"
        }
    }

b) Find this server definition in the InterSystems servers, open it and click on the Pen icon near the namespace c) Now in the explorer view the following error is shown "Unable to resolve workspace folder (isfs://iris2024x1:user/)"

[gjsjohnmurray]

That entry in settings.json should display an indicator that the name isn't valid. Is that happening for you?

[adaptun]

Thank you John. I did not noticed before, and I noticed now, that indeed, there is a hint, saying "The property is not allowed"

[gjsjohnmurray]

Good. Changing to lowercase will resolve the issue.