tree d8edabf417b4a5c4df2abb706c401212ae83bbeb
parent ff5cf19bcd7e49a64d236e1e1eeca8555af170a3
author Joshua Seaton <joshuaseaton@google.com> 1548320218 -0800
committer Joshua Seaton <joshuaseaton@google.com> 1548320853 -0800

[botanist] Fix SSH bug

There was a minor mismatch: sshIntoNode() expects a path to
an SSH key, while DeviceContext provides the key itself.

Change-Id: I72e98e2e5d2f9c874679f68374573610e3fb5e56