From ce192891d804c258e8a53c170065648f56c456c1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Krist=C3=B3f=20T=C3=B3th?= <kristof.toth@avatao.com>
Date: Sun, 27 May 2018 19:10:22 +0200
Subject: [PATCH] Rename config.ide.reloadIframeOnDeploy.. to match new options

---
 src/app/config.ts                        | 2 +-
 src/app/dashboard/dashboard.component.ts | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/app/config.ts b/src/app/config.ts
index 391d301..9bb560e 100644
--- a/src/app/config.ts
+++ b/src/app/config.ts
@@ -27,7 +27,7 @@ export const config = {
     defaultLanguage: 'text',
     deployProcessName: 'webservice',
     showDeployButton: true,
-    reloadIframeOnDeployButtonClick: true,
+    reloadIframeOnDeploy: true,
     showConsoleOnDeploy: true,
   },
   terminal: {
diff --git a/src/app/dashboard/dashboard.component.ts b/src/app/dashboard/dashboard.component.ts
index 41d5eeb..7c8192e 100644
--- a/src/app/dashboard/dashboard.component.ts
+++ b/src/app/dashboard/dashboard.component.ts
@@ -50,7 +50,7 @@ export class DashboardComponent implements OnInit, OnDestroy {
     this.deploymentNotificationSubscription = this.deploymentNotificationService.deploying.subscribe(
       (deploying) => {
         this.deploying = deploying;
-        if (!deploying && config.ide.reloadIframeOnDeployButtonClick) {
+        if (!deploying && config.ide.reloadIframeOnDeploy) {
           this.reloadIframe();
         }
       });