diff --git a/workflow/engine/controllers/designer.php b/workflow/engine/controllers/designer.php
index af0e342b8..82dada39f 100644
--- a/workflow/engine/controllers/designer.php
+++ b/workflow/engine/controllers/designer.php
@@ -68,6 +68,7 @@ class Designer extends Controller
$this->setVar('prj_readonly', $proReadOnly);
$this->setVar('credentials', base64_encode(json_encode($clientToken)));
$this->setVar('isDebugMode', $debug);
+ $this->setVar('distribution', file_exists(PATH_CLASSES . "class.pmLicenseManager.php"));
if ($debug) {
if (! file_exists(PATH_HTML . "lib-dev/pmUI/build.cache")) {
diff --git a/workflow/engine/templates/designer/index.html b/workflow/engine/templates/designer/index.html
index d47f23a3d..0df4bfed4 100644
--- a/workflow/engine/templates/designer/index.html
+++ b/workflow/engine/templates/designer/index.html
@@ -23,6 +23,7 @@
var consolidated = "{$consolidated}";
var prj_readonly = "{$prj_readonly}";
var credentials = "{$credentials}";
+ var distribution = "{$distribution}";
@@ -70,6 +71,7 @@
var consolidated = "{$consolidated}";
var prj_readonly = "{$prj_readonly}";
var credentials = "{$credentials}";
+ var distribution = "{$distribution}";