diff options
author | Joey Hess <joey@kitenet.net> | 2014-03-13 19:30:13 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2014-03-13 19:30:13 -0400 |
commit | b3bdaf1a6f99b476da3f9821d83148f75be62121 (patch) | |
tree | 905c3771af445f66827918de25e9dc1b810a39c7 /Types | |
parent | c1c5ff5626edbd4474b327dc8b8e66bd218b3e5e (diff) |
only run sshCleanup when the command actually used ssh connection caching
Optimises query commands that do not. More importantly, avoids any ssh
connection cleanup delay causing problems at the end of such commands.
Diffstat (limited to 'Types')
-rw-r--r-- | Types/CleanupActions.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Types/CleanupActions.hs b/Types/CleanupActions.hs index decd2f873..498d5b4d7 100644 --- a/Types/CleanupActions.hs +++ b/Types/CleanupActions.hs @@ -13,4 +13,5 @@ data CleanupAction = RemoteCleanup UUID | StopHook UUID | FsckCleanup + | SshCachingCleanup deriving (Eq, Ord) |