Merge branch 'raoul/saas' of github.com:runtimeverification/simbolik-…

…vscode into raoul/saas

src/DebugAdapter.ts

@@ -79,7 +79,7 @@ class WebsocketDebugAdapter implements vscode.DebugAdapter {
   onDidSendMessage = this._onDidSendMessage.event;
 
   handleMessage(message: vscode.DebugProtocolMessage): void {
-    const apiKey = getConfigValue('apiKey', '');
+    const apiKey = getConfigValue('api-key', '');
     const clientVersion = vscode.extensions.getExtension('simbolik.simbolik')?.packageJSON.version;
     const messageWithApiKey : DebugProtocolMessage = Object.assign({}, message, {apiKey, clientVersion});
     this.websocket.send(JSON.stringify(messageWithApiKey));

src/extension.ts

@@ -69,7 +69,6 @@ export function activate(context: vscode.ExtensionContext) {
 
   vscode.debug.onDidReceiveDebugSessionCustomEvent(async event => {
     if (event.event === 'api-key-validation-failed') {
-
       const action = await vscode.window.showErrorMessage(
         'API key validation failed',
         'Open Settings',
@@ -78,13 +77,19 @@ export function activate(context: vscode.ExtensionContext) {
       if (action === 'Open Settings') {
         vscode.commands.executeCommand(
           'workbench.action.openSettings',
-          'simbolik.apiKey'
+          'simbolik.api-key'
         );
       }
       if (action === 'Learn More') {
-        vscode.env.openExternal(vscode.Uri.parse('https://simbolik.runtimeverification.com'));
+        vscode.env.openExternal(
+          vscode.Uri.parse('https://simbolik.runtimeverification.com')
+        );
       }
-
+    }
+    if (event.event === 'api-key-sessions-limit-exceeded') {
+      const action = await vscode.window.showErrorMessage(
+        'Too many debugging sessions running in parallel'
+      );
     }
     console.log(event);
   });