diff options
| author | Aleksey Kladov <[email protected]> | 2020-03-17 11:44:31 +0000 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2020-03-19 08:04:59 +0000 |
| commit | fb6e655de8a44c65275ad45a27bf5bd684670ba0 (patch) | |
| tree | 9c307ac69c8fc59465ee2fb6f9a8a619fc064167 /crates/ra_hir_ty/src/infer/unify.rs | |
| parent | f0a1b64d7ee3baa7ccf980b35b85f0a4a3b85b1a (diff) | |
Rewrite auto-update
Everything now happens in main.ts, in the bootstrap family of
functions. The current flow is:
* check everything only on extension installation.
* if the user is on nightly channel, try to download the nightly
extension and reload.
* when we install nightly extension, we persist its release id, so
that we can check if the current release is different.
* if server binary was not downloaded by the current version of the
extension, redownload it (we persist the version of ext that
downloaded the server).
Diffstat (limited to 'crates/ra_hir_ty/src/infer/unify.rs')
0 files changed, 0 insertions, 0 deletions