()
| 141 | } |
| 142 | |
| 143 | function shouldUseLanguageServer(): boolean { |
| 144 | return ( |
| 145 | vscode.workspace.getConfiguration('SQLNotebook').get('useLanguageServer') || |
| 146 | false |
| 147 | ); |
| 148 | } |
| 149 | |
| 150 | function getQueryTimeoutConfiguration(): number { |
| 151 | const defaultTimeout = 30000; // make this the same as the package.json-level configuration default |