diff options
author | 2014-04-12 16:32:59 -0400 | |
---|---|---|
committer | 2014-04-12 16:32:59 -0400 | |
commit | 0f1ea37a68535b95c56e1e142ecc8db1ac6b43dc (patch) | |
tree | 5527c4de0f0a561afe5e358b7b2e8f491d29146d /.ghci | |
parent | 102e182eac9b95e31fb71830fe5ce5a502e93d92 (diff) |
remotedaemon: When network connection is lost, close all cached ssh connections.
This commit was sponsored by Cedric Staub.
Diffstat (limited to '.ghci')
0 files changed, 0 insertions, 0 deletions