Skip to content
Snippets Groups Projects
Commit bd0a80b3 authored by Stekelenburg, A.V. (Alexander, Student )'s avatar Stekelenburg, A.V. (Alexander, Student )
Browse files

Show error if server is not ready when a tool run is requested

parent 484c42fb
No related branches found
No related tags found
No related merge requests found
......@@ -141,7 +141,12 @@ function runTool(uri: string, toolName: string, constants: { name: string; value
resolve(null);
}
});
await client?.sendRequest<string>("modest/runTool", jsonObject, token);
if (client === null) {
vscode.window.showErrorMessage("Server not ready yet, try again later");
resolve(null);
} else {
await client?.sendRequest<string>("modest/runTool", jsonObject, token);
}
});
});
}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment