Language Server Crashed

[R7sr]

After updated to v4.0.0 the extension is just not working. It's similar to the situation mentioned in #1450 but do have difference.

Error infomation included:

Outputs:
output.txt
output(1).txt

Help needed, is there any ideas?

[misode]

It failed to download necessary resources for the language server to function. Is raw.githubusercontent.com blocked in your country?

Try using another data source by creating a spyglass.json file at the root of your workspace:

{
  "env": {
    "env": "jsDelivr"
  }
}

[R7sr]

Due to it is acutally my DNS problem, so another data source didn't fix that. But also thanks to your help.

[R7sr]

Problem have been solved by config my DNS, it seems that it is working as intended now.