Merge "Ganymed patch fix"

diff --git a/third-party/ganymed/src/main/java/ch/ethz/ssh2/Connection.java b/third-party/ganymed/src/main/java/ch/ethz/ssh2/Connection.java
index 786f81ce06caf392bfdd264035c2bace7fb07d6e..aa13c40d9dab53c0ebb38cca47d3c81a6e20b620 100644 (file)
--- a/third-party/ganymed/src/main/java/ch/ethz/ssh2/Connection.java
+++ b/third-party/ganymed/src/main/java/ch/ethz/ssh2/Connection.java
@@ -7,6 +7,7 @@ package ch.ethz.ssh2;
 
 import java.io.CharArrayWriter;
 import java.io.File;
+import java.net.Socket;
 import java.io.FileReader;
 import java.io.IOException;
 import java.net.InetSocketAddress;