4 commits

Author	SHA1	Message	Date
Matthias Einwag	b93ced6f63	Allow to use a Github Auth token for fetching releases ... This change allows to use a authorization token provided by Github in order to fetch metadata for a RA release. Using an authorization token prevents to get rate-limited in environments where lots of RA users use a shared client IP (e.g. behind a company NAT). The auth token is stored in `ExtensionContext.globalState`. As far as I could observe through testing with a local WSL2 environment that state is synced between an extension installed locally and a remote version. The change provides no explicit command to query for an auth token. However in case a download fails it will provide a retry option as well as an option to enter the auth token. This should be more discoverable for most users. Closes #3688	2020-09-22 23:12:51 -07:00
Veetaha	3602f07bbe	Improve client logging (use output channel and more log levels)	2020-07-05 17:50:29 +03:00
Aleksey Kladov	fb6e655de8	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).	2020-03-19 09:04:59 +01:00
Aleksey Kladov	ae662617a2	Separate persistent mutable state from config ... That way, we clearly see which things are not change, and we also clearly see which things are persistent.	2020-03-16 22:02:11 +01:00