search

deephaven / vscode-deephaven

Deephaven Visual Studio Code Extension
Apache License 2.0
0 stars 0 forks source link

Connecting to a server that doesn’t exist #5

Open chipkent opened 3 weeks ago

chipkent commented 3 weeks ago
  1. Start a server
  2. Connect to the server
  3. Kill the server
  4. Disconnect from the server
  5. Connect to localhost:1000 – no server running

This has problems:

  1. It fails to initialize – GOOD
  2. It somehow initializes to a non-existent server – BAD
  3. The connection icon indicates a valid connection

See the screenshot in https://docs.google.com/document/d/1ID1vobavzDerUArnFbBMiDPZrtaN6fNooc52uIhSbiY/edit.

Now: If I disconnect the connection, it seems to disconnect.

Should there be an error or log saying “You disconnected from a server that isn’t there”?

See the screenshot in https://docs.google.com/document/d/1ID1vobavzDerUArnFbBMiDPZrtaN6fNooc52uIhSbiY/edit.