search

deephaven / vscode-deephaven

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

Plugin doesn’t know when the server has shut down #4

Open chipkent opened 3 weeks ago

chipkent commented 3 weeks ago
  1. Start to the server
  2. Connect to the server
  3. Shut down the server
  4. Click on the “DHC: localhost: 10000” button on the bottom bar

It gives me “Disconnect” as an option. Since the server is down, this does not seem reasonable.