diff options
author | Joey Hess <joey@kitenet.net> | 2013-07-21 14:14:54 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-07-21 14:14:54 -0400 |
commit | 57d9c438a76f6b06cce5bda0fcc436cf3a694932 (patch) | |
tree | c0ac2ff1fbb8d038e712ab0ac2e0d6b4d5733ca5 /standalone/android/icons/drawable-ldpi/ic_launcher.png | |
parent | c45bf9887bef31d082d4e152bb2105edf59e7985 (diff) |
stop cached ssh connection w/o needing to look up host and port
Turns out that with -O stop -S socketfile, ssh does not need the real
hostname, or port to be specificed. This is because it simply talks to the
ssh behind the socket and tells it to stop. So, can eliminate the
conversion back from a socketfile to host and port. Which will allow using
shorter filenames for sockets in the future.
Diffstat (limited to 'standalone/android/icons/drawable-ldpi/ic_launcher.png')
0 files changed, 0 insertions, 0 deletions