mirror of
https://github.com/wavetermdev/waveterm.git
synced 2025-03-11 13:23:06 +01:00
Adds a list of potential remotes to add and filters it as you type. It also provides options for reconnecting on a disconnection and specifically connecting to a local connection |
||
---|---|---|
.. | ||
wshserver.go | ||
wshserverutil.go |