Not seeing all servers in config file

[chipkent]

I have a server running on 10000 and another on 10001. Both are in my config. When I refresh the servers, I only see the 10000 server that I'm already bound to. The 10001 server never appears.

venv➜  deephaven-example-use-cases git:(risk_ui) ✗ cat ~/.vscode/settings 
{
  // Core servers
  "deephaven.coreServers": [
    "http://localhost:10000/",
    "http://localhost:10001/",
    "http://localhost:10002/",
  ]
}

[chipkent]

... and yes, I made sure I can connect to both via the web browser.

[bmingles]

@chipkent that's very odd.

2 things that come to mind:

1. Verify there isn't a workspace level .vscode/settings.json file overriding your user settings
2. Kill all instances of vscode and start again in case something is out of sorts