Fixing display of user role in apps in the user management page.

packages/builder/src/pages/builder/portal/manage/users/[userId].svelte

@@ -68,11 +68,13 @@
       })
     }
     return availableApps.map(app => {
+      const prodAppId = apps.getProdAppID(app.appId)
+      console.log(prodAppId)
       return {
         name: app.name,
         devId: app.devId,
         icon: app.icon,
-        role: privileged ? Constants.Roles.ADMIN : roles[app.appId],
+        role: privileged ? Constants.Roles.ADMIN : roles[prodAppId],
       }
     })
   }

packages/builder/src/stores/portal/apps.js

@@ -8,14 +8,21 @@ const extractAppId = id => {
 }
 
 const getProdAppID = appId => {
-  if (!appId || !appId.startsWith("app_dev")) {
+  if (!appId) {
     return appId
   }
+  let rest,
+    separator = ""
+  if (appId.startsWith("app_dev")) {
     // split to take off the app_dev element, then join it together incase any other app_ exist
     const split = appId.split("app_dev")
     split.shift()
-  const rest = split.join("app_dev")
-  return `${"app"}${rest}`
+    rest = split.join("app_dev")
+  } else if (!appId.startsWith("app")) {
+    rest = appId
+    separator = "_"
+  }
+  return `app${separator}${rest}`
 }
 
 export function createAppStore() {