From e625c7196f8b313dbae8fccec9d6966d2cb392dc Mon Sep 17 00:00:00 2001
From: Marcel Kloubert <marcel.kloubert@gmx.net>
Date: Wed, 11 Apr 2018 07:07:32 +0200
Subject: [PATCH] minor improvements

---
 src/workspaces.ts | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/workspaces.ts b/src/workspaces.ts
index ba1a46f..7c68c3f 100644
--- a/src/workspaces.ts
+++ b/src/workspaces.ts
@@ -1019,6 +1019,8 @@ export class Workspace extends deploy_helpers.WorkspaceBase implements deploy_co
         deploy_helpers.tryDisposeAndDelete(BUTTONS, KEY_AUTO_BTN_DEPLOY_ON_CHANGE);
         deploy_helpers.tryDisposeAndDelete(BUTTONS, KEY_AUTO_BTN_DEPLOY_ON_SAVE);
         deploy_helpers.tryDisposeAndDelete(BUTTONS, KEY_AUTO_BTN_REMOVE_ON_CHANGE);
+        
+        deploy_helpers.tryDisposeAndDelete(STATE['auto'], deploy_packages.KEY_PAUSE_FILES_FOR);
     }
 
     private disposeConfigFileWatchers() {