diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2012-10-12 09:41:52 +0200 |
|---|---|---|
| committer | Jeff Forcier <jeff@bitprophet.org> | 2013-04-27 20:36:45 -0700 |
| commit | 080bece2586d348b9791892cd6e5670a7afdb1a9 (patch) | |
| tree | 258eb2f4baf7cef9add9df6ce1e841d47f42842b /setup_helper.py | |
| parent | 4f481a57a291316e75b0ce0b5f159e66b49ffe3a (diff) | |
Assure that host entries in known_hosts files do not duplicate endlessly if keys from known_hosts are loaded via HostKeys.load() more than once (e.g. for refreshing the list of known hosts during runtime).
Diffstat (limited to 'setup_helper.py')
0 files changed, 0 insertions, 0 deletions