Add setting to allow user to change timeout. Fixes #809

package.json

@@ -765,6 +765,11 @@
 					"description": "Command to execute or full path to folder and executable to start the Mongo shell, needed by some Mongo scrapbook commands. If empty, will search in the system path for 'mongo'.",
 					"default": null
 				},
+				"mongo.shell.timeoutInMilliseconds": {
+					"type": "number",
+					"description": "The duration allowed (in milliseconds) for the mongo shell to execute a command. Default value is 5 seconds",
+					"default": 5000
+				},
 				"cosmosDB.showExplorer": {
 					"type": "boolean",
 					"default": true,

src/extensionVariables.ts

@@ -22,6 +22,7 @@ export namespace ext {
     export namespace settingsKeys {
         export const mongoShellPath = 'mongo.shell.path';
         export const documentLabelFields = 'cosmosDB.documentLabelFields';
+        export const mongoShellTimeout = 'mongo.shell.timeoutInMilliseconds';
 
         export namespace vsCode {
             export const proxyStrictSSL = "http.proxyStrictSSL";

src/mongo/shell.ts

@@ -4,6 +4,7 @@
  *--------------------------------------------------------------------------------------------*/
 import * as cp from 'child_process';
 import * as os from 'os';
+import * as vscode from "vscode";
 import { EventEmitter, window } from 'vscode';
 import { ext } from '../extensionVariables';
 import { IDisposable, toDisposable } from '../utils/vscodeUtils';
@@ -90,13 +91,14 @@ export class Shell {
 
 		return await new Promise<string>((c, e) => {
 			let executed = false;
+			const timeout: number = vscode.workspace.getConfiguration().get<number>(ext.settingsKeys.mongoShellTimeout);
 			const handler = setTimeout(
 				() => {
 					if (!executed) {
 						e(`Timed out executing MongoDB command "${script}"`);
 					}
 				},
-				5000);
+				timeout);
 			const disposable = this.onResult.event(result => {
 				disposable.dispose();