diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2012-10-12 09:50:51 +0200 |
|---|---|---|
| committer | Jeff Forcier <jeff@bitprophet.org> | 2013-04-27 20:36:45 -0700 |
| commit | 81f87f1d5eb4fa89472114f45faa3a994fc7db7d (patch) | |
| tree | ae2207022fd860f56567c8ef53e1ba60acc84ad7 /setup_helper.py | |
| parent | 080bece2586d348b9791892cd6e5670a7afdb1a9 (diff) | |
Load host entries from the known_hosts file(s) before writing the file from RAM to disk. Avoids loss of host entries in case other SSH clients have written to the known_hosts file(s) meanwhile.
Diffstat (limited to 'setup_helper.py')
0 files changed, 0 insertions, 0 deletions