[server] Ensure PVC workspace class does not change

Author: Furisto

components/server/src/workspace/workspace-classes.ts

@@ -85,6 +85,11 @@ export namespace WorkspaceClasses {
             return getDefaultId(workspaceClasses);
         }
 
+        // todo: remove this once pvc has been rolled out
+        if (previousWorkspaceClass.endsWith("-pvc")) {
+            return previousWorkspaceClass;
+        }
+
         const config = workspaceClasses.find((c) => c.id === previousWorkspaceClass);
         if (!config) {
             log.error(
@@ -186,6 +191,11 @@ export namespace WorkspaceClasses {
         const current = classes.find((c) => c.id === currentClassId);
         let substitute = classes.find((c) => c.id === substituteClassId);
 
+        // todo: remove this once pvc has been rolled out
+        if (currentClassId.endsWith("-pvc")) {
+            return currentClassId;
+        }
+
         if (current?.marker?.moreResources) {
             if (substitute?.marker?.moreResources) {
                 return substitute?.id;

components/server/src/workspace/workspace-starter.ts

@@ -903,9 +903,20 @@ export class WorkspaceStarter {
 
                 featureFlags = featureFlags.concat(["workspace_class_limiting"]);
             } else {
-                workspaceClass = "default";
-                if (await this.entitlementService.userGetsMoreResources(user)) {
-                    workspaceClass = "gitpodio-internal-xl";
+                // todo: remove this once pvc has been rolled out
+                const prebuildClass = await WorkspaceClasses.getFromPrebuild(
+                    ctx,
+                    workspace,
+                    this.workspaceDb.trace(ctx),
+                );
+                if (prebuildClass?.endsWith("-pvc")) {
+                    workspaceClass = prebuildClass;
+                    // ####
+                } else {
+                    workspaceClass = "default";
+                    if (await this.entitlementService.userGetsMoreResources(user)) {
+                        workspaceClass = "gitpodio-internal-xl";
+                    }
                 }
             }