Send the user along the server request

Author: filiptronicek

components/server/src/ide-service.ts

@@ -34,9 +34,9 @@ export class IDEService {
 
     private cacheConfig?: IDEConfig;
 
-    async getIDEConfig(): Promise<IDEConfig> {
+    async getIDEConfig(request: IdeServiceApi.GetConfigRequest): Promise<IDEConfig> {
         try {
-            let resp = await this.ideService.getConfig({});
+            let resp = await this.ideService.getConfig(request);
             let config: IDEConfig = JSON.parse(resp.content);
             this.cacheConfig = config;
             return config;

components/server/src/workspace/gitpod-server-impl.ts

@@ -3327,7 +3327,8 @@ export class GitpodServerImpl implements GitpodServerWithTracing, Disposable {
     }
 
     async getIDEOptions(ctx: TraceContext): Promise<IDEOptions> {
-        const ideConfig = await this.ideService.getIDEConfig();
+        const user = this.checkUser("identifyUser");
+        const ideConfig = await this.ideService.getIDEConfig({ user });
         return ideConfig.ideOptions;
     }