Make webide deploy button optional

src/app/config.ts

@@ -8,7 +8,8 @@ export const config = {
     'autoSaveInterval': 1000,
     'defaultCode': 'Loading your file...',
     'defaultLanguage': 'text',
-    'deployProcessName': 'login'
+    'deployProcessName': 'login',
+    'showDeployButton': true
   },
   terminal: {
     'route': 'shell'

src/app/webide/webide.component.html

@@ -14,7 +14,8 @@
   </div>
 
   <div class="btn-group-sm tfw-deploy-btn-group">
-    <button type="submit"
+    <button *ngIf="showDeployButton"
+            type="submit"
             class="btn tfw-deploy-btn tao-grid-top-center"
             (click)="sendCodeIfDirty(); deployCode()"
             [disabled]="deployButtonState === 'DEPLOYING' || deployButtonState === 'DEPLOYED'"

src/app/webide/webide.component.ts

@@ -35,6 +35,7 @@ export class WebideComponent implements OnInit {
   files: string[];
   codeState = 'SAVED';
   deployButtonState = 'DEPLOYED';
+  showDeployButton: boolean = config.webide.showDeployButton;
   autosave = null;
   command_handlers = {'reload':    this.reloadHandler.bind(this),
                       'read':      this.readHandler.bind(this),