diff options
Diffstat (limited to 'editors/code/src/installation/language_server.ts')
| -rw-r--r-- | editors/code/src/installation/language_server.ts | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/editors/code/src/installation/language_server.ts b/editors/code/src/installation/language_server.ts index 52c5cbe7d..4797c3f01 100644 --- a/editors/code/src/installation/language_server.ts +++ b/editors/code/src/installation/language_server.ts | |||
| @@ -104,6 +104,8 @@ export async function ensureLanguageServerBinary( | |||
| 104 | `GitHub repository: ${err.message}` | 104 | `GitHub repository: ${err.message}` |
| 105 | ); | 105 | ); |
| 106 | 106 | ||
| 107 | console.error(err); | ||
| 108 | |||
| 107 | dns.resolve('example.com').then( | 109 | dns.resolve('example.com').then( |
| 108 | addrs => console.log("DNS resolution for example.com was successful", addrs), | 110 | addrs => console.log("DNS resolution for example.com was successful", addrs), |
| 109 | err => { | 111 | err => { |