From 7cfc8390a326c097c11c3d441ccdb7ae7dc90c3e Mon Sep 17 00:00:00 2001
From: Lennart Kats <lclkats@gmail.com>
Date: Mon, 14 Mar 2016 11:21:46 +0000
Subject: [PATCH] Pass workspace premiumness to IDE

---
 configs/client-default.js | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/configs/client-default.js b/configs/client-default.js
index d4f5985e..7756c0fc 100644
--- a/configs/client-default.js
+++ b/configs/client-default.js
@@ -694,14 +694,15 @@ module.exports = function(options) {
                 no_newsletter: options.user.no_newsletter,
                 subscription_on_signup: options.user.subscription_on_signup,
                 premium: options.user.premium,
-                region: options.user.region
+                region: options.user.region,
             },
             project: {
                 id: options.project.id,
                 name: options.project.name,
                 contents: options.project.contents,
                 descr: options.project.descr,
-                remote: options.project.remote
+                remote: options.project.remote,
+                premium: options.project.premium,
             }
         },
         {